Automated Analysis of Java Methods for Confidentiality
No abstract available.
Related papers
- Automated type-based analysis of data races and atomicity PPoPP 2005
- Stack-based access control and secure information flow JFP 2005
- Confidentiality Analysis of Mobile Systems SAS 2000
- SMT-Boosted Security Types for Low-Level MPC ESOP 2025
- Comparative Analysis of Pre-trained Code Language Models for Automated Program Repair via Code Infill Generation GPCE 2025
- MrCrypt: static analysis for secure cloud computations OOPSLA 2013
- The CLOSER: automating resource management in java ISMM 2008
- On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines SAS 1998