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

mZig: Enabling Multi-Packet Reception in ZigBee Linghe Kong1,2 Xue Liu McGill University, Canada

Source URL: www.cpsweek.org

Malleable Proof Systems and Applications Melissa Chase (MSR Redmond) Markulf Kohlweiss (MSR Cambridge) Anna Lysyanskaya (Brown University) Sarah Meiklejohn (UC San Diego)

Source URL: smeiklej.com

• Cryptography
• S99

A class of control certificates to ensure Reach-While-Stay for Switched Systems Hadi Ravanbakhsh and Sriram Sankaranarayanan Presented by Sergio Mover University of Colorado Boulder

Source URL: www.react.uni-saarland.de

• Control engineering
• Systems theory
• Systems science
• Control theory
• Cybernetics
• Computational mathematics
• Sliding mode control

An Offline Capture The Flag-Style Virtual Machine and an Assessment of its Value for Cybersecurity Education Tom Chothia School of Computer Science University of Birmingham, UK

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

• Education
• Educational psychology
• Human behavior
• Educational assessment
• Flag
• Capture the flag
• Exercise
• CTFS
• VM
• Formative assessment
• Educational technology
• Test

Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington

Source URL: unsat.cs.washington.edu

• Formal methods
• Verification
• Technology
• Refinement
• Specification
• File system
• Evaluation
• Business

A Practical Testing Framework for Isolating Hardware Timing Channels Jason Oberg∗ , Sarah Meiklejohn∗ , Timothy Sherwood† and Ryan Kastner∗ ∗ Computer Science and Engineering, University of California, San Die

Source URL: smeiklej.com

• Information flow
• Information theory
• CPU cache
• Flow
• Timing attack
• Mathematical model
• Mathematics
• Computing
• Knowledge

PDF Document

Source URL: sdc.university

PDF Document

Source URL: math.jacobs-university.de

PDF Document

Source URL: sdc.university