Syntax-Guided Optimal Synthesis for Chemical Reaction Networks∗ ˇ ska3 Martin Fr¨anzle4 , Marta Kwiatkowska2 , Luca Cardelli1,2 , Milan Ceˇ 2 Luca Laurenti , Nicola Paoletti5 , and Max Whitby2

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

• Mathematical analysis
• Mathematics
• Distribution
• Functional analysis
• Markov chain

A Closed-loop quantitative verification of rate-adaptive pacemakers NICOLA PAOLETTI, University of Oxford, Department of Computer Science ANDREA PATANE` , University of Catania, Department of Mathematics and Computer Sci

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

• Mathematical analysis
• Mathematics
• Embedded systems
• Prosthetics
• Artificial cardiac pacemaker
• Cardiac electrophysiology
• Cybernetics
• Neuroprosthetics
• IP
• Analysis
• FO
• Dirac delta function

ZKPROOF WORKSHOP AT ZCON0SPEAKERS: Daniel Benarroch, Eran Tromer, Muthu Venkitasubramaniam, Andrew Miller, Sean Bowe, Nicola Greco, Izaak Meckler, Thibaut Schaeffer NOTE TAKERS: Arthur Prats, Vincent Clouti

Source URL: zkproof.org

• Cryptography
• Computing
• Public-key cryptography
• Non-interactive zero-knowledge proof
• Cryptographic protocol
• Computational complexity theory
• E-commerce
• Secure communication
• Zero-knowledge proof
• ZK
• Cryptographic primitive
• Gadget

Poster: Detecting WebInjects through Live Memory Inspection Nicola Mariani∗ , Andrea Continella∗ , Marcello Pogliani∗ , Michele Carminati∗ , Federico Maggi∗† , and Stefano Zanero∗ ∗ Dipartimento

Source URL: www.ieee-security.org

• Software
• Computing
• Antivirus software
• Security breaches
• Proprietary software
• Malware
• Kaspersky Lab
• Google Chrome
• Internet Explorer

“A Stalker’s Paradise”: How Intimate Partner Abusers Exploit Technology Diana Freed† Jackeline Palmer‡ Diana MinchalaΨ Karen LevyΦ Thomas Ristenpart† Nicola Dell† † Cornell Tech

Source URL: rist.tech.cornell.edu

• Abuse
• Human behavior
• Behavior
• Crime
• Domestic violence
• Intimate partner violence
• Restraining order
• Spyware
• Cyberbullying
• Stalking

Broken Hearted: How To Attack ECG Biometrics Simon Eberz Nicola Paoletti Marc Roeschlin

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

• Medicine
• Cardiac electrophysiology
• Clinical medicine
• Physiology
• Electrocardiography
• Cardiac monitoring
• Signal generator
• Monitoring
• Digital signal
• QRS complex
• Wireless ambulatory ECG
• Automated ECG interpretation

Building Power Consumption Models from Executable Timed I/O Automata Specifications ∗ Benoît Barbot , Marta Kwiatkowska, Alexandru Mereacre and Nicola Paoletti Department of Computer Science, University of Oxford, UK

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

Designing Robust Software Systems through Parametric Markov Chain Synthesis ˇ ska† , Simos Gerasimou∗ , Marta Kwiatkowska‡ and Nicola Paoletti§ Radu Calinescu∗ , Milan Ceˇ ∗ Department of Computer Science, U

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

RODES: A Robust-Design Synthesis Tool for Probabilistic Systems? ˇ ska2 , Simos Gerasimou1 , Marta Kwiatkowska3 , and Radu Calinescu1 , Milan Ceˇ Nicola Paoletti4 1

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

• Mathematical optimization
• Systems science
• Engineering
• Analysis
• Vilfredo Pareto
• Design of experiments
• Systems engineering
• Engineering statistics
• Pareto efficiency
• Optimal design
• PRISM model checker
• Reliability engineering

Closed-loop quantitative verification of rate-adaptive pacemakers Marta Kwiatkowska1, Nicola Paoletti2, Andrea Patanè1 1) University of Oxford (UK); 2) Stony Brook University (USA) Closed-loop model

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

• Cardiac electrophysiology
• Medicine
• Physiology
• Circulatory system
• Artificial cardiac pacemaker
• QT interval
• Electrocardiography
• Heart arrhythmia
• Cardiac pacemaker
• Atrioventricular block
• Pacing