Search CORE

5 research outputs found

Immutability and Encapsulation for Sound OO Information Flow Control

Author: Potanin Alex
Runge Tobias
Schaefer Ina
Servetto Marco
Publication venue: Association for Computing Machinery
Publication date: 05/12/2022
Field of study

Securing Class Initialization in Java-like Languages

Author: Andrei Sabelfeld
Keiko Nakata
Willard Rafnsson
Publication venue: 'Institute of Electrical and Electronics Engineers (IEEE)'
Publication date
Field of study

Language-based information-flow security

Author: A. Sabelfeld
A.C. Myers
Publication venue: 'Institute of Electrical and Electronics Engineers (IEEE)'
Publication date
Field of study

Flow logic for language-based safety and security

Author: Hansen René Rydhof
Publication venue: Technical University of Denmark
Publication date: 01/01/2005
Field of study

Online Research Database In Technology

core

core