A Secure Compiler for Session Abstractions

Journal of Computer Security - Netherlands
doi 10.3233/jcs-2008-0334
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

Secure Implementations for Typed Session Abstractions

20th IEEE Computer Security Foundations Symposium (CSF'07)
2007English

Towards a Compiler for Reals

ACM Transactions on Programming Languages and Systems
Software
2017English

Abstractions for Network Update

2012English

Verifying a Compiler for Java Threads

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Compiler Framework for Speculative Optimizations

Transactions on Architecture and Code Optimization
HardwareInformation SystemsArchitectureSoftware
2004English

Secure and Seamless Session Management in Mobile and Heterogeneous Environment

2012English

Pythia: A Parallel Compiler for Delirium

1990English

Abstractions for Mobile Computation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Abstractions for Distributed Systems (DPA 2008)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy