Work

Checking security of Java bytecode by abstract interpretation

Year: 2002

Type: conference-paper

Source: ACM Symposium on Applied Computing

DOI: 10.1145/508791.508839

Authors: Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco

Institution: University of Pisa

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1982303263

FWCI: 1.871

Cites: 24

Cited by: 25

Related to: 10