Searching for "Towards a Formal Treatment of Secrecy Against Computational Adversaries." – sorted by Relevance.
-
The Java Virtual Machine Specification, http://java.sun.com/docs/books/vmspec
- Towards a Formal Treatment of Secrecy against Computational Adversaries Angelo Troina 1
- Cited by 1 (1 self) – Add To MetaCart

