Details
Title
Briais, Sébastien
Sciper ID
156069
Affiliated labs
LAMP
Publications
A Formal Semantics For Protocol Narrations
A Formal Semantics For Protocol Narrations
A Symbolic Characterisation of Open Bisimulation for the Spi Calculus
A formal semantics for protocol narrations
Mobile Objects "Must" Move Safely
Open Bisimulation, Revisited
Theory and tool support for the formal verification of cryptographic protocols
A Formal Semantics For Protocol Narrations
A Symbolic Characterisation of Open Bisimulation for the Spi Calculus
A formal semantics for protocol narrations
Mobile Objects "Must" Move Safely
Open Bisimulation, Revisited
Theory and tool support for the formal verification of cryptographic protocols
Use for
Briais, Sebastien
Link to search
All resources
Record appears in
Authorities > People