DYNALLOY: AN EXTENSION OF ALLOY FOR WRITING AND ANALYZING BEHAVIOURAL MODELS Germán Regis | César Cornejo | Simón Gutiérrez Brida | Mariano Politano | Fernando Raverta | Pablo Ponzio | Nazareno Aguirre | Juan Pablo G

Source URL: alloytools.org

• Formal methods
• Logic puzzles
• River crossing puzzle
• CH
• Alloy
• Software engineering
• Theoretical computer science

Making Automatic Theorem Provers more Versatile Simon Cruanes Veridis, Inria Nancy https://cedeela.fr/~simon/ August 2017

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

• Theoretical computer science
• Formal methods
• Mathematical logic
• Logic in computer science
• Mathematics
• Constraint programming
• Automated theorem proving
• Satisfiability modulo theories
• Formal verification
• Type theory
• First-order logic
• Vampire

Evaluating Behavioral Biometrics for Continuous Authentication: Challenges and Metrics Simon Eberz Kasper B. Rasmussen

Source URL: www.lenders.ch

• Biometrics
• Security engineering
• Cryptography
• Computing
• Identification
• Machine learning
• Surveillance
• Security
• Keystroke dynamics
• Type I and type II errors
• Password
• Data corruption

When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts Simon Eberz∗ , Giulio Lovisotto∗ , Andrea Patan`e∗ , Marta Kwiatkowska∗ , Vincent Lenders† and Ivan Ma

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

• Security engineering
• Biometrics
• Cryptography
• Prevention
• Surveillance
• Security
• Identification
• Authentication
• Facial recognition system
• Password
• Computer security
• Replay attack

The Jury Is In: Monolithic OS Design Is Flawed Microkernel-based Designs Improve Security Simon Biggs, Damon Lee,

Source URL: ts.data61.csiro.au

Verifying the LTL to B¨ uchi Automata Translation via Very Weak Alternating Automata Simon Jantsch1 and Michael Norrish2 1

Source URL: cakeml.org

• Finite automata
• Temporal logic
• Model checking
• Theoretical computer science
• Formal methods
• Mathematical logic
• Linear temporal logic
• Computation tree logic
• Alternating finite automaton
• Generalized Bchi automaton
• Bchi automaton

U R B A N PA R K S Communal spaces for greater sustainability Photographic artist Simon Roberts says that cities have gradually opened up more of their private land for public use, driven by the

Source URL: perspectives.pictet.com

• Landscape
• Urban planning
• Natural environment
• Sustainability
• Sustainable city
• Urban park
• Park
• Human behavior
• Nature

An Extensible Framework for Variable-Precision Data-Flow Analyses in MPS Tamás Szabó Simon Alperovich

Source URL: mbeddr.com

• Program analysis
• Software engineering
• Computer programming
• Programming language implementation
• Static program analysis
• Compiler construction
• Data-flow analysis
• Syntax
• Definite assignment analysis
• Compiler
• DFG
• Pointer analysis

System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of Technology

Source URL: www.logic.at

• Mathematical logic
• Theoretical computer science
• Automated theorem proving
• Mathematics
• Proof theory
• Logic in computer science
• Formal methods
• Automated reasoning
• Proof assistant
• Proof complexity
• Reasoning system
• Isabelle

When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts Simon Eberz∗ , Giulio Lovisotto∗ , Andrea Patan`e∗ , Marta Kwiatkowska∗ , Vincent Lenders† and Ivan Ma

Source URL: www.lenders.ch

• Security engineering
• Biometrics
• Cryptography
• Prevention
• Surveillance
• Security
• Identification
• Authentication
• Facial recognition system
• Password
• Computer security
• Replay attack