Dynamic class loading in the Java virtual machine
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A specification of Java loading and bytecode verification
CCS '98 Proceedings of the 5th ACM conference on Computer and communications security
A formal specification of Java class loading
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking
ACM Transactions on Software Engineering and Methodology (TOSEM)
Security properties of typed applets
Secure Internet programming
Formalizing the safety of Java, the Java virtual machine, and Java card
ACM Computing Surveys (CSUR)
Formalization and Analysis of Class Loading in Java
Higher-Order and Symbolic Computation
Mechanisms for secure modular programming in Java
Software—Practice & Experience - Special issue: Security software
A Type System for the Java Bytecode Language and Verifier
Journal of Automated Reasoning
Secure Prolog-based mobile code
Theory and Practice of Logic Programming
The impact of research on middleware technology
ACM SIGSOFT Software Engineering Notes
The impact of research on middleware technology
ACM SIGOPS Operating Systems Review
Secure object flow analysis for java card
CARDIS'02 Proceedings of the 5th conference on Smart Card Research and Advanced Application Conference - Volume 5
Type safe dynamic linking for JVM access control
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Doloto: code splitting for network-bound web 2.0 applications
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Security benchmarks of OSGi platforms: toward Hardened OSGi
Software—Practice & Experience
Flexible Bytecode for Linking in .NET
Electronic Notes in Theoretical Computer Science (ENTCS)
TOSKANA: a toolkit for operating system kernel aspects
Transactions on Aspect-Oriented Software Development II
A model of dynamic binding in .NET
CD'05 Proceedings of the Third international working conference on Component Deployment
The impact of research on the development of middleware technology
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.00 |