Verifying object initialization in the Java bytecode language

Authors:
Stéphane Doyon;Mourad Debbabi
Affiliations:
LSFM Research Group, Computer Science Department, Laval University, Sainte-Foy, Quebec, Canada;LSFM Research Group, Computer Science Department, Laval University, Sainte-Foy, Quebec, Canada
Venue:
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Year:
2000

Java security: hostile applets, holes&antidotes

Java security: hostile applets, holes&antidotes
Java virtual machine

Java virtual machine
The security of static typing with dynamic linking

Proceedings of the 4th ACM conference on Computer and communications security
A type system for Java bytecode subroutines

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Javalight is type-safe—definitely

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Java security: Web browsers and beyond

Internet besieged
Java security

Java security
A type system for object initialization in the Java bytecode language

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Java Virtual Machine Specification

Java Virtual Machine Specification
The Java Language Specification

The Java Language Specification
Going beyond the sandbox: an overview of the new security architecture in the javaTM development Kit 1.2

USITS'97 Proceedings of the USENIX Symposium on Internet Technologies and Systems on USENIX Symposium on Internet Technologies and Systems

Introduction to the programming languages track (track introduction)

SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Towards proving type safety of .NET CIL

Science of Computer Programming

Hi-index	0.00