Flexible Models for Secure Systems Sarah Meiklejohn A creation story Motivating scenario that founded modern cryptography:

Source URL: smeiklej.com

• Cryptography
• Transport Layer Security
• Internet
• Secure communication
• Internet Standards
• Cryptographic protocols
• Internet protocols
• TLS acceleration
• Public-key cryptography

Compositional Verification of Probabilistic Systems using Learning Lu Feng, Marta Kwiatkowska, David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Email: {lu.feng, marta.kwiatkowska, david.pa

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

Anomaly detection based on real-time exploitation of billing systems

Source URL: mavroud.is

• Technology
• Information and communications technology
• Computing
• Machine learning
• Anomaly detection
• Data mining
• Data security
• Mobile telecommunications
• Smartphone
• Mobile phone
• Anomaly

dReach: δ-Reachability Analysis for Hybrid Systems Soonho Kong, Sicun Gao, Wei Chen, and Edmund Clarke Computer Science Department, Carnegie Mellon University, USA Abstract. dReach is a bounded reachability analysis to

Source URL: scungao.github.io

• Theoretical computer science
• Mathematics
• Dynamical systems
• Systems science
• Control theory
• Hybrid system
• Systems theory
• Satisfiability modulo theories

1420 IEEE TRANSACTIONS ON SMART GRID, VOL. 7, NO. 3, MAY 2016 RAC: Reconfiguration-Assisted Charging in Large-Scale Lithium-Ion Battery Systems

Source URL: wirelesslab.sjtu.edu.cn

• Energy
• Rechargeable batteries
• Battery charging
• Electrical engineering
• Energy conversion
• Battery charger
• Battery management system
• Battery pack
• Lithium-ion battery
• Open-circuit voltage
• Electric battery
• Leadacid battery

WHITE PAPER Content Introduction ............................................................................................................ 2 1. Overview of Current Exchange Systems ..................................

Source URL: bexam.io

• Cryptocurrencies
• Blockchains
• Alternative currencies
• Concurrent computing
• Distributed computing
• Computing
• Bitcoin
• Cross-platform software
• NEM
• Ethereum
• Draft:Nihilo Blockchain Introduction
• Draft:Tron.network

How the level of global warming affects impacts and/or risks associated with the Reasons for Concern (RFCs) and selected natural, managed and human systems Five Reasons For Concern (RFCs) illustrate the impacts and risks

Source URL: report.ipcc.ch

• Climatology
• Climate change
• Physical geography
• Effects of global warming
• Reasons for concern
• Global warming

For more information, visit: www.caci.com/Intelligence_Systems Intelligence Systems and Support

Source URL: www.caci.com

• Intelligence gathering disciplines
• Intelligence assessment
• Espionage
• Signals intelligence
• Military communications
• Military intelligence
• Abu Ghraib torture and prisoner abuse
• CACI
• Foreign instrumentation signals intelligence
• Software-defined radio

Reliable Software Systems Design: Defect Prevention, Detection, and Containment Gerard J. Holzmann Rajeev Joshi Laboratory for Reliable Software NASA/JPL Pasadena, CA 91109, USA

Source URL: rjoshi.org

• Computing
• Software quality
• Engineering
• Reliability engineering
• Software engineering
• Design for X
• Materials science
• Survival analysis
• Fault tolerance
• Redundancy
• Software design
• Modular programming