Mon 5 Nov 2018 11:30 - 12:00 at Spring Lake - JPF Workshop

Information leaks are a significant problem in modern computer systems and string manipulation is prevalent in modern software. We present techniques for automated synthesis of side-channel attacks that recover secret string values based on timing observations on string manipulating code. Our attack synthesis techniques iteratively generate inputs which, when fed to code that accesses the secret, reveal partial information about the secret based on the timing observations, leading to recovery of the secret at the end of the attack sequence. We use symbolic execution to extract path constraints, automata-based model counting to estimate the probability of execution paths, and meta-heuristic methods to maximize information gain based on entropy for synthesizing adaptive attack steps.

Mon 5 Nov

jpf-2018-papers
08:30 - 17:00: JPF - JPF Workshop at Spring Lake
jpf-2018-papers09:00 - 09:10
Day opening
jpf-2018-papers09:10 - 10:00
Talk
Tevfik BultanUniversity of California, Santa Barbara
jpf-2018-papers10:00 - 10:30
Coffee break
jpf-2018-papers10:30 - 11:00
Research paper
Maria PaquinBoise State University, Elena ShermanBoise State University, Amit JainBoise State University
jpf-2018-papers11:00 - 11:30
Research paper
Lucas C. CordeiroUniversity of Manchester, UK, Daniel KroeningUniversity of Oxford, Peter SchrammelUniversity of Sussex
jpf-2018-papers11:30 - 12:00
Research paper
Seemanta SahaUniversity of California Santa Barbara, Ismet Burak KadronUniversity of California at Santa Barbara, USA, William EiersUniversity of California at Santa Barbara, USA, Lucas Bang, Tevfik BultanUniversity of California, Santa Barbara
jpf-2018-papers12:00 - 13:30
Lunch
jpf-2018-papers13:30 - 14:00
Talk
Quoc-Sang PhanFujitsu Laboratories of America
jpf-2018-papers14:00 - 14:30
Research paper
joseph JonesBrigham Young University, James WassonBrigham Young University, Sean BrownBrigham Young University, Seth PoulsenBrigham Young University, Peter AldousBrigham Young University, Eric MercerBrigham Young University
jpf-2018-papers14:30 - 15:00
Research paper
Guolong ZhengUniversity of Nebraska Lincoln, Quang Loc LeSchool of Computing, Teesside University, UK, ThanhVu NguyenUniversity of Nebraska-Lincoln, Quoc-Sang PhanFujitsu Laboratories of America
jpf-2018-papers15:00 - 15:30
Coffee break
jpf-2018-papers15:30 - 16:00
Research paper
Kaiyuan Wang, Hayes ConverseThe University of Texas at Austin, Milos GligoricUniversity of Texas at Austin, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, Sarfraz KhurshidUniversity of Texas at Austin
jpf-2018-papers16:00 - 16:50
Meeting
jpf-2018-papers16:50 - 17:00
Day closing