# Re: Byte-code verifier

schemers@Eng
Thu, 1 Oct 1998 23:19:19 -0700 (PDT)

- Messages sorted by: [ date ][ thread ][ subject ][ author ]
- Next message: krissy@peacefire.org: "broken link"
- Previous message: ranil@sscomp.co.ae: "Security violation error for the applet in Netscape"

Deepak Jindal writes:
> I want to know about any kind of work done on byte-code verifier.
> Presently I am aware of ony one Book " Java Virtual Machine
> Secification" which discusses this issue. Are there any publications
> on this. I am implementing a byte-code verifier as part of my senior
> thesis. Any kind of help will be greatly appriciated.
> thanking you in anticipation,
> Deepak Jindal.

The folks over at the University of Washington have done some
work on a verifier. Take a look at:

http://kimera.cs.washington.edu/

roland

- Next message: krissy@peacefire.org: "broken link"
- Previous message: ranil@sscomp.co.ae: "Security violation error for the applet in Netscape"