Formal Analysis of Key Management APIs Graham Steel INRIA & LSV, ENS de Cachan 1/48

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

• Cryptography
• Pyruvate dehydrogenase lipoamide kinase isozyme 1
• Key management
• Digital signature
• Key

Discovering Concrete Attacks on Website Authorization by Formal Analysis

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

• Computing
• Computer access control
• Computer security
• Cloud standards
• Federated identity
• Security
• OAuth
• Cross-site request forgery
• OpenID
• Cross-site scripting
• Social login
• HTTP cookie

Context Generation from Formal Specifications for C Analysis Tools Michele Alberti1? and Julien Signoles2 TrustInSoft, Paris, France CEA LIST, Software Reliability and Security Laborator

Source URL: julien.signoles.free.fr

• Computing
• Software engineering
• Data types
• Computer programming
• Primitive types
• Formal languages
• Formal methods
• ANSI/ISO C Specification Language
• C
• String
• Frama-C
• Permutation

Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage Chetan Bansal1 , Karthikeyan Bhargavan2, Antoine Delignat-Lavaud2 , and Sergio Maffeis3, 1

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

• Cryptography
• Computing
• Secure communication
• Cryptographic software
• Cryptographic protocols
• Transport Layer Security
• Internet Standards
• HTTPS
• Password
• Public-key cryptography
• Client-side
• Key

A Comprehensive Formal Security Analysis of OAuth 2.0 arXiv:1601.01229v3 [cs.CR] 27 MayDaniel Fett

Source URL: arxiv.org

• Computer access control
• Computer security
• Identity management
• Federated identity
• Cloud standards
• OAuth
• Identity provider
• OpenID
• Single sign-on
• Authentication
• Relying party
• SAML-based products and services

Amortised Resource Analysis and Functional Correctness with Separation Logic (Part II) Summer School on Formal Reasoning and Representation of Complex Systems

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

• Abstract data types
• Queue
• Double-ended queue
• Dequeue
• Statistical theory
• Probability and statistics
• Economy

Formal Expression of BBc-1 Mechanism and Its Security Analysis Jun KURIHARA† and Takeshi KUBO†† † ††

Source URL: beyond-blockchain.org

Modelling, Specification and Formal Analysis of Complex Software Systems - Precise Static Analysis of Programs with Dynamic Memory

Source URL: resources.mpi-inf.mpg.de

Secure Authentication in the Grid: A formal analysis of DNP3: SAv5 Cas Cremers, Martin Dehnel-Wild, Kevin Milner Department of Computer Science, University of Oxford. {cas.cremers,martin.dehnel-wild,kevin.milner}@cs.ox.a

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

Formal analysis of privacy in Direct Anonymous Attestation schemes Ben Smyth1 , Mark D. Ryan2 , and Liqun Chen3 1 Mathematical and Algorithmic Sciences Lab, France Research

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