Amanote Research
Register
Sign In
A Formal Treatment of Accountable Proxying Over TLS
doi 10.1109/sp.2018.00021
Full Text
Open PDF
Abstract
Available in
full text
Date
May 1, 2018
Authors
Karthikeyan Bhargavan
Ioana Boureanu
Antoine Delignat-Lavaud
Pierre-Alain Fouque
Cristina Onete
Publisher
IEEE
Related search
Equational Approach to Formal Analysis of TLS
Towards Formal Verification of TLS Network Packet Processing Written in C
Formal Groups Over Discrete Rings
Bulletin of the American Mathematical Society
A Formal Treatment of Remotely Keyed Encryption
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Path to Accountable Care
NAM Perspectives
Division Algebras Over Fields of Formal Power Series
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
On Commuting Properties of Endomorphisms of Formal A-Modules Over Finite Fields
Acta Arithmetica
Number Theory
Algebra
Formal Consistency Checking Over Specifications in Natural Languages
Who Is Accountable?
Nature
Multidisciplinary
