Authentication primitives and their compilation

DOI10.1145/325694.325734zbMath1323.68178OpenAlexW1965012291MaRDI QIDQ5178860

Georges Gonthier, Martín Abadi, Cédric Fournet

Publication date: 17 March 2015

Published in: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/325694.325734

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Cryptography (94A60) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Authentication, digital signatures and secret sharing (94A62)

Related Items (7)

Private authentication ⋮ The role of concurrency in an evolutionary view of programming abstractions ⋮ A semantics for web services authentication ⋮ A hierarchy of equivalences for asynchronous calculi ⋮ Bisimulations in the join-calculus ⋮ Linearity and bisimulation ⋮ Secure implementation of channel abstractions

This page was built for publication: Authentication primitives and their compilation