NO Need to Worry about Adversarial Examples in Object Detection in Autonomous Vehicles Jiajun Lu∗, Hussein Sibai∗, Evan Fabry, David Forsyth University of Illinois at Urbana Champaign {jlu23, sibai2, efabry2, daf}@il

Source URL: negative.vision

• Applied mathematics
• Mathematics
• Artificial neural network
• Computational neuroscience
• Market research
• Market segmentation
• Mathematical psychology
• Perturbation theory
• Outline of machine learning
• Adversary
• Traffic sign
• Analysis

Verifying the Safety of a Flight-Critical System Guillaume Brat1 , David Bushnell2 , Misty Davies3 , Dimitra Giannakopoulou3 , Falk Howar4 ? , and Temesghen Kahsai1 1 Carnegie Mellon University

Source URL: www.falkhowar.de

• Computing
• Software engineering
• Formal methods
• Software
• Theoretical computer science
• Simulation software
• Visual programming languages
• Numerical software
• Simulink
• SIGNAL
• Autopilot
• Formal verification

PRISM-games 2.0: A Tool for Multi-Objective Strategy Synthesis for Stochastic Games Marta Kwiatkowska1 , David Parker2 , and Clemens Wiltsche1 1 2

Source URL: www.prismmodelchecker.org

• Microeconomics
• Game theory
• Economics
• Applied mathematics
• Non-cooperative games
• Mathematical optimization
• Nash equilibrium
• Stochastic game
• Zero-sum game
• Pareto efficiency
• Strategy

Generic Double-Authentication Preventing Signatures and a Post-Quantum Instantiation? David Derler1 , Sebastian Ramacher1 , and Daniel Slamanig2 1 2

Source URL: eprint.iacr.org

• Cryptography
• Public-key cryptography
• Elliptic curve cryptography
• Key management
• Digital Signature Standard
• Digital signature
• Key
• Post-quantum cryptography
• EdDSA
• RSA
• Model theory
• Digital Signature Algorithm

CLARK COUNTY BOARD OF ELECTIONS Board Members  Sue DeVoe Allen, Chairperson  Lynda Smith  David Hartley  John Pickarski Director  Jason Baker Deputy Director  Amber Lopez November 14, 2017

Source URL: clark.ohioboe.com

M AR Q: Monitoring At Runtime with QEA Giles Reger, Helena Cuenca Cruz and David Rydeheard University of Manchester Abstract. Runtime monitoring is the process of checking whether an execution trace of a running system s

Source URL: www.cs.man.ac.uk

• Mathematical logic
• Logic
• Theoretical computer science
• Logic in computer science
• Runtime verification
• FO
• Quantifier

Board Members: Sue DeVoe Allen, Chairperson ▪ Lynda Smith David Hartley ▪ John Pickarski Director: Jason Baker ▪ Deputy Director: Amber Lopez May 16, 2018

Source URL: clark.ohioboe.com

Bisimulation for demonic schedulers? Konstantinos Chatzikokolakis1 , Gethin Norman2 , and David Parker2 1 Eindhoven University of Technology 2

Source URL: qav.comlab.ox.ac.uk

• Theoretical computer science
• Formal methods
• Logic in computer science
• Bisimulation
• Applied mathematics
• Mathematics
• Scheduling
• Transition system
• -calculus

CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted A. McClenen, Chairperson  Lynda Smith  Max Cordle  David Hartley Director  Jason Baker Deputy Director  Amber Lopez August 23, 2016 The Board will be i

Source URL: clark.ohioboe.com

Board Members: Sue DeVoe Allen, Chairperson ▪ Lynda Smith David Hartley ▪ John Pickarski Director: Jason Baker ▪ Deputy Director: Amber Lopez May 21, 2018

Source URL: clark.ohioboe.com