Department 2: Formal methods

Linear arithmetic Security Vérification Symbolic model Computability Collaborative editors Operational Transformation Machine Sines Web services Deducibility constraints E-voting Cellular automata Formal language Semantics Détection d'intrusions Formal verification Composition Protocol Tilings Cryptographic protocols Liveness Distributed systems Narrowing Static analysis Security protocols Déduction automatique Simulation Satisfiability Schwilgué First-order logic Formal methods Verification Privacy Algorithmic randomness Complexity Protocols Event-B Model checking Combination Abstraction Equational theories Authentication SMT IMITATOR Refinement Operational transformation Formal Methods Completeness Coq Decidability TLA+ Automated verification Intrusion detection Social networks Automated reasoning Réécriture Satisfiability Modulo Theories Proof assistants Implicit computational complexity Applied π-Calculus Tree automata Méthodes formelles Protocoles cryptographiques Model-checking Sécurité Rewriting Symbolic animation Reachability Unification Algorithm Parametric timed automata Raffinement Parameter synthesis Validation Computable analysis Online Social Networks OSN Behavioral detection Edward Sang Decision procedure Cryptography Combination of decision procedures Calculating machine Automated deduction Protocoles Constraint solving Theorem proving Distributed algorithms Termination Automatic theorem provers Decision procedures Optimistic replication Modelling Malware Proof-based development Formal Verification Pattern matching Term rewriting Logarithms Secrecy