Cited in
(21)- Formalising Java RMI with explicit code mobility
- Automatic verification of Java programs with dynamic frames
- Specification and static enforcement of scheduler-independent noninterference in a middleweight Java
- Objects and session types
- SafeDpi
- JoCaml
- AGVI
- ASPIER
- Spi2Java
- UMLsec
- Featherweight Java
- Jif
- JavaSPI
- Welterweight Java
- Bouncy Castle
- ZKPDL
- Reconciling method overloading and dynamically typed scripting languages
- Type-based security for mobile computing integrity, secrecy and liveness
- Asynchronous Session Types and Progress for Object Oriented Languages
- Formally sound implementations of security protocols with JavaSPI
- A reduction semantics for direct-style asynchronous observables
This page was built for software: MJ
