2016 IEEE Real-Time Systems Symposium On-Line Event-Driven Scheduling for Electric Vehicle Charging via Park-and-Charge 1

Source URL: wirelesslab.sjtu.edu.cn

Poster: EPOXY—Enabling Robust Protection for Bare-metal Systems Abraham A. Clements∗ , Naif Saleh Almakhdhub† , Khaled S. Saab‡ , Prashast Srivastava† , Jinkyu Koo† , Saurabh Bagchi† , Mathias Payer† ∗

Source URL: www.ieee-security.org

• Computer architecture
• Computing
• System software
• Software bugs
• Embedded operating systems
• Electrical engineering
• Stack buffer overflow
• FreeRTOS
• Protection ring
• Buffer overflow protection
• Internet of things
• Memory protection

Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK

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

• Mathematics
• Mathematical analysis
• Temporal logic
• Computation tree logic
• Logic in computer science
• Distribution
• Symbol
• Constructible universe
• Linear temporal logic
• Craig interpolation

14th International Symposium and accompanying Exhibition on Sophisticated Car Safety Systems Mannheim, Germany

Source URL: www.ict.fraunhofer.de

• Automotive industry
• Transport
• Economy
• Parachuting
• Product testing
• Safety engineering
• Joyson Safety Systems
• Mazda
• Robert Bosch GmbH
• ZF Friedrichshafen
• Airbag
• Fraunhofer Society

Implementing Joux-Vitse’s Crossbred Algorithm for Solving MQ Systems over F2 on GPUs Ruben Niederhagen1 , Kai-Chun Ning2 , and Bo-Yin Yang3 1 2

Source URL: precision.moscito.org

• Algebra
• Mathematics
• Numerical linear algebra
• Equations
• Linear algebra
• Hidden Field Equations
• Multivariate cryptography
• Gaussian elimination
• Recurrence relation
• Equation solving
• APMonitor
• BCD

160525A Case Study catch a car EN 2spalten

Source URL: www.mobility-systems-and-services.com

• Carsharing
• Sustainable transport
• Transport
• Mobility car
• Parking
• Mobility
• Car
• Mobility Carsharing

Time-Bounded Analysis of RealTime Systems Sagar Chaki1, Arie Gurfinkel1, Ofer Strichman2, Soonho Kong1 1Software

Source URL: arieg.bitbucket.io

• Carnegie Mellon University
• Software Engineering Institute
• Carnegie Mellon Silicon Valley
• Alan Turing
• Mathematics
• British people
• Pittsburgh

A Security Analysis of Police Computer Systems Benjamin VanderSloot∗ Stuart Wheaton∗ J. Alex Halderman

Source URL: benvds.com

• Computer security
• Computing
• Computer network security
• Security engineering
• Information and communications technology
• Crime prevention
• Cryptography
• National security
• Virtual private network
• SCADA
• FBI Criminal Justice Information Services Division
• Computer network

Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods Olivier Bouissou1 , Alexandre Chapoutot2 , and Samuel Mimram1 1 CEA Saclay Nano-INNOV Institut CARNOT, Gif-sur-Yvette France

Source URL: perso.ensta-paristech.fr

• Mathematics
• Mathematical analysis
• Analysis
• Polynomials
• Numerical analysis
• Interpolation
• Algebra
• Polynomial interpolation
• Affine arithmetic
• Numerical integration
• Lagrange polynomial
• Polynomial

The Protection of Information in Computer Systems JEROME H. SALTZER, SENIOR MEMBER, IEEE, AND MICHAEL D. SCHROEDER, MEMBER, IEEE Invited Paper Abstract - This tutorial paper explores the mechanics of

Source URL: www.doc.ic.ac.uk

• Computer security
• Security engineering
• Prevention
• Security
• Crime prevention
• Cryptography
• Information governance
• National security
• Password
• Operating system
• Protection ring
• Capability-based security