Design and implementation of a distributed virtual machine for networked computers
Proceedings of the seventeenth ACM symposium on Operating systems principles
Distributed virtual machines: a system architecture for network computing
Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
A formal framework for the Java bytecode language and verifier
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A type system for object initialization in the Java bytecode language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using production grammars in software testing
Proceedings of the 2nd conference on Domain-specific languages
Verifying object initialization in the Java bytecode language
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Protection in programming-language translations
Secure Internet programming
Security properties of typed applets
Secure Internet programming
Termination in language-based systems
ACM Transactions on Information and System Security (TISSEC)
Access rights analysis for Java
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Mechanisms for secure modular programming in Java
Software—Practice & Experience - Special issue: Security software
Garbage Collector Memory Accounting in Language-Based Systems
SP '03 Proceedings of the 2003 IEEE Symposium on Security and Privacy
Journal of Automated Reasoning
A review of information security issues and respective research contributions
ACM SIGMIS Database
Using production grammars in software testing
DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
On object initialization in the Java bytecode
Computer Communications
| Hi-index | 0.00 |