Secure Implementations for Typed Session Abstractions

20th IEEE Computer Security Foundations Symposium (CSF'07)
doi 10.1109/csf.2007.29
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

A Secure Compiler for Session Abstractions

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2008English

Abstractions and Implementations for Architectural Connections

English

Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages

2020English

Logical Foundations of Secure Resource Management in Protocol Implementations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Abstractions for Network Update

2012English

Secure and Seamless Session Management in Mobile and Heterogeneous Environment

2012English

Abstractions for Mobile Computation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Investigating the Effectiveness of Without Charge-Sharing Quasi-Adiabatic Logic for Energy Efficient and Secure Cryptographic Implementations

Microelectronics Journal
2018English

Typed Combinators for Generic Traversal

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy