Breaking Symmetric Cryptosystems using Quantum Period Finding Marc Kaplan1,2 , Ga¨etan Leurent3 Anthony Leverrier3 , and Mar´ıa Naya-Plasencia3 1

Source URL: who.rocq.inria.fr

• Cryptography
• Quantum information science
• Emerging technologies
• Quantum computing
• Quantum cryptography
• Quantum algorithm
• Block cipher
• Quantum mechanics
• Post-quantum cryptography
• Quantum key distribution
• Feistel cipher
• Data Encryption Standard

Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2

Source URL: jorgenavas.github.io

• Software engineering
• Programming language theory
• Computing
• Logic in computer science
• Horn clause
• Control flow
• ALGOL 68
• Formal methods
• Logic programming

Finding Code That Explodes under Symbolic Evaluation

Source URL: unsat.cs.washington.edu

• Computer programming
• Computing
• Software engineering
• Functional languages
• Profiling
• Software optimization
• Satisfiability modulo theories
• Symbolic execution
• Recursion
• Pure
• Lis
• Functional programming

Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2

Source URL: seahorn.github.io

• Software engineering
• Programming language theory
• Computing
• Logic in computer science
• Horn clause
• Control flow
• ALGOL 68
• Formal methods
• Logic programming

Finding Errors in Multithreaded GUI Applications Sai Zhang Hao Lü Michael D. Ernst

Source URL: zhang-sai.github.io

Finding Root Causes of Floating Point Error

Source URL: herbgrind.ucsd.edu

• Computing
• Computer arithmetic
• Mathematics
• Numerical analysis
• Software engineering
• Mathematical analysis
• Error
• NaN
• Nothing
• Rounding
• Type system
• Computer algebra

Poster: IoTcube: An Automated Analysis Platform for Finding Security Vulnerabilities Seulbae Kim, Seunghoon Woo, Heejo Lee, Hakjoo Oh Department of Computer Science and Engineering Korea University Seoul, Korea

Source URL: www.ieee-security.org

• Software testing
• Computer security
• Security engineering
• Cyberwarfare
• Cybercrime
• Computer network security
• Fuzzing
• Software bugs
• Application security
• Vulnerability
• Internet of things
• Heartbleed

“The Division of Elections is committed to finding ways to better serve Alaska voters as we move into the 2018 election season.” - Josie Bahnke, State Elections Director

Source URL: www.elections.alaska.gov

• Elections
• Politics
• Voting
• Government
• Election technology
• Electoral fraud
• 107th United States Congress
• Help America Vote Act
• Postal voting
• Electronic voting
• Voting machine
• Voter registration

0 Federal Docket No. FWS-RS-ESDAY FINDING ON A PETITION TO LIST THE CALIFORNIA SPOTTED OWL AS THREATENED OR ENDANGERED UNDER THE ACT

Source URL: johnmuirproject.org

Finding “It”: Weakly-Supervised Reference-Aware Visual Grounding in Instructional Videos De-An Huang*, Shyamal Buch*, Lucio Dery, Animesh Garg, Li Fei-Fei, Juan Carlos Niebles Stanford University {dahuang, shyamal, l

Source URL: fiver.eecs.umich.edu