Work

A specification of Java loading and bytecode verification

Year: 1998

Type: conference-paper

Source: ACM SIGSAC Conference on Computer and Communications Security (CCS)

DOI: 10.1145/288090.288104

Author: Allen Goldberg

Institution: Kestrel Institute

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2025672027

FWCI: 6.63

Cites: 13

Cited by: 77

Related to: 10