Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Pierre-Malo Denielou
Secure Implementations for Typed Session Abstractions
20th IEEE Computer Security Foundations Symposium (CSF'07)
Related publications
A Secure Compiler for Session Abstractions
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Abstractions and Implementations for Architectural Connections
Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages
Logical Foundations of Secure Resource Management in Protocol Implementations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Abstractions for Network Update
Secure and Seamless Session Management in Mobile and Heterogeneous Environment
Abstractions for Mobile Computation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Investigating the Effectiveness of Without Charge-Sharing Quasi-Adiabatic Logic for Energy Efficient and Secure Cryptographic Implementations
Microelectronics Journal
Typed Combinators for Generic Traversal
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
