Automated Vulnerability Analysis of AC State Estimation under Constrained False Data Injection in Electric Power Systems Sicun Gao1 , Le Xie2 , Armando Solar-Lezama1 , Dimitrios Serpanos3 , and Howard Shrobe1 Abstract—

Source URL: scungao.github.io

• Mathematics
• Electromagnetism
• Electric power
• Electrical engineering
• Power engineering
• Power-flow study
• Parameter
• Variable

Testing a Saturation-Based Theorem Prover: Experiences and Challenges? Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,3,4 1 3

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

• Theoretical computer science
• Formal methods
• Mathematics
• Logic in computer science
• Mathematical logic
• Automated theorem proving
• School of Computer Science
• University of Manchester
• Automated reasoning
• Formal verification
• E theorem prover
• IP
• Satisfiability modulo theories

A Tool for Estimating Information Leakage? Tom Chothia, Yusuke Kawamoto, and Chris Novakovic School of Computer Science, University of Birmingham, Birmingham, UK Abstract. We present leakiEst, a tool that estimates how m

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

• Information theory
• Cryptography
• Information
• Electrical engineering
• Information flow
• Information leakage
• Leak
• Entropy
• Weka
• Memory leak
• Mutual information
• Biometric passport

Verification Using SAT and SMT Solvers1 N. Shankar Computer Science Laboratory SRI International Menlo Park, CA

Source URL: dream.inf.ed.ac.uk

• Theoretical computer science
• Mathematical logic
• Mathematics
• Boolean algebra
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean satisfiability problem
• Satisfiability modulo theories
• Propositional calculus
• Model checking

Quantitative Multi-Objective Verification for Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , Gethin Norman2 , David Parker1 , and Hongyang Qu1 1 2

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

• Temporal logic
• Theoretical computer science
• Mathematical analysis
• Linear temporal logic
• Mathematics
• Computation tree logic
• Omega language
• Distribution

Assume-Guarantee Verification for Probabilistic Systems Marta Kwiatkowska1 , Gethin Norman2 , David Parker1 , and Hongyang Qu1 1 2

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

• Theoretical computer science
• Temporal logic
• Logic in computer science
• Linear temporal logic
• Finite automata
• PRISM model checker
• Randomized algorithm
• Computation tree logic
• PP
• Model checking
• Formal verification
• Probabilistic automaton

Uniformization and percolation Itai Benjamini October 2015 Conformal maps

Source URL: www.wisdom.weizmann.ac.il

• Geometry
• Space
• Mathematics
• Riemann surfaces
• Bernhard Riemann
• Geometric topology
• Riemannian geometry
• Uniformization theorem
• Conformal map
• Differential geometry of surfaces
• Conformal geometry
• Unit disk

Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes Tom´asˇ Br´azdil V´aclav Broˇzek

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

Automatically Calculating Quantitative Integrity Measures for Imperative Programs Tom Chothia1 , Chris Novakovic1 , and Rajiv Ranjan Singh2 1 2

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

• Information theory
• Information flow
• Mutual information
• Conditional mutual information
• Conditional entropy

Short  Accountable  Ring   Signatures Based  on  DDH Jonathan  Bootle,  Andrea  Cerulli,  Pyrros Chaidos,  Essam Ghadafi,   Jens  Groth,  and  Christophe  Petit  

Source URL: www0.cs.ucl.ac.uk

• Cryptography
• Public-key cryptography
• Digital signature
• IP
• Soundness
• Group signature
• Post-quantum cryptography
• Designated verifier signature
• Computational complexity theory