A. C. Myers. JFlow: Practical mostly-static information flow control. In Twenty-sixth ACM Symposium on Principles of Programming Languages, pages 228--241, San Antonio, Texas, Jan. 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
A Monadic Analysis of Information Flow Security with Mutable.. - Karl Crary Aleksey (Correct)
No context found.
A. C. Myers. JFlow: Practical mostly-static information flow control. In Twenty-sixth ACM Symposium on Principles of Programming Languages, pages 228--241, San Antonio, Texas, Jan. 1999.
A Monadic Analysis of Information Flow Security with Mutable.. - Karl Crary Aleksey (Correct)
No context found.
A. C. Myers. JFlow: Practical mostly-static information flow control. In Twenty-Sixth ACM Symposium on Principles of Programming Languages, pages 228--241, San Antonio, Texas, Jan. 1999.
RIFLE: An Architectural Framework for User-Centric - Information-Flow Security Neil (Correct)
No context found.
A. C. Myers. JFlow: Practical mostly-static information flow control. In Proceedings of the 26th ACM Symposium on Principles of Programming Languages, pages 228--241, 1999.
Improving Software Reliability in Data-centered.. - Desmet, Piessens.. (Correct)
No context found.
A. Myers. JFlow: Practical mostly-static information flow control. In Symposium on Principles of Programming Languages, pages 228--241, 1999.
Finding Security Vulnerabilities in Java Applications - With Static Analysis (Correct)
No context found.
A. C. Myers. JFlow: practical mostly-static information flow control. In Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 228--241, Jan. 1999.
A Monadic Analysis of Information Flow Security with Mutable .. - Cmu-Cs- School Of (Correct)
No context found.
A. C. Myers. JFlow: Practical mostly-static information flow control. In Twenty-Sixth ACM Symposium on Principles of Programming Languages, pages 228--241, San Antonio, Texas, Jan. 1999.
Under consideration for publication in J. Functional.. - Karl Crary Aleksey (Correct)
No context found.
Myers, Andrew C. 1999 (Jan.). JFlow: Practical mostly-static information flow control.
JFP 15 (2): 249--291, 2005. c - Cambridge University Press (2005) (Correct)
No context found.
Myers, A. C. (1999) JFlow: Practical mostly-static information flow control. Twenty-sixth ACM Symposium on Principles of Programming Languages, pp. 228--241.
Privacy Injector - Automated Privacy Enforcement Through Aspects - Berghe, Schunter (2006) (Correct)
No context found.
Andrew C. Myers. JFlow: Practical mostly-static information flow control. In Proceedings of the Symposium on Principles of Programming Languages, pages 228--241, 1999.
Harmless Advice - Dantas, Walker (2006) (Correct)
No context found.
A. Myers and B. Liskov. Jflow: Practical mostly-static information flow control. In Twenty-Sixth ACM Symposium on Principles of Programming Languages, pages 226--241, Jan. 1998.
Improving Software Reliability in Data-centered.. - Composition Time.. (Correct)
No context found.
A. Myers. JFlow: Practical mostly-static information flow control. In Symposium on Principles of Programming Languages, pages 228--241, 1999.
Flow Locks - Towards Core Calculus (Correct)
No context found.
A. C. Myers. JFlow: Practical mostly-static information flow control. In Proc. ACM Symp. on Principles of Programming Languages, pages 228--241, Jan. 1999.
Checking Secure Interactions of Smart Card Applets: Extended.. - Bieber, al. (2002) (7 citations) (Correct)
No context found.
A. Myers. Jflow: Practical mostly-static information flow control. In Proceedings of 26th ACM Symposium on Principles of Programming Languages (POPL99), 1999.
Information Flow Control for Java Based on Path.. - Hammer, Krinke, Snelting (2006) (Correct)
No context found.
A. C. Myers. Jflow: practical mostly-static information flow control. In POPL '99: Proceedings of the ACM Symposium on Principles of programming languages, pages 228--241, New York, NY, USA, 1999. ACM Press.
A Theorem Proving Approach to Analysis of Secure Information .. - Dravas, Hahnle, Sands (Correct)
No context found.
A. C. Myers. JFlow: Practical mostly-static information flow control. In Proc. POPL, pages 228--241, Jan. 1999.
Checking Secure Information Flow in Java Bytecode.. - Bernardeschi, De.. (Correct)
No context found.
A. C. Myers. Jflow: Practical mostly-static information flow control. In ACM POPL'99 Proceedings, pages 228--241, 1999.
A Program Transformation Technique for Enforcement .. - Venkatakrishnan.. (Correct)
No context found.
A. C. Myers. JFlow: Practical mostly-static information flow control. In ACM Symposium on Principles of Programming Languages (POPL), pages 228--241, Jan. 1999.
Harmless Advice - Dantas, Walker (2005) (Correct)
No context found.
A. Myers and B. Liskov. Jflow: Practical mostly-static information flow control. In Twenty-Sixth ACM Symposium on Principles of Programming Languages, pages 226--241, Jan. 1998.
Language-Based Approaches to - Secure Information Flow (Correct)
No context found.
Andrew C. Myers. JFlow: Practical mostly-static information flow control. In Symposium on Principles of Programming Languages, pages 228--241, 1999.
Finding Security Vulnerabilities in Java Applications with.. - Livshits, Lam (2005) (1 citation) (Correct)
No context found.
A. C. Myers. JFlow: practical mostly-static information flow control. In Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 228--241, Jan. 1999.
A Unified Approach for Preventing Attacks Exploiting a.. - Xu, Bhatkar, Sekar (Correct)
No context found.
A. C. Myers. JFlow: Practical mostly-static information flow control. In ACM Symposium on Principles of Programming Languages (POPL), pages 228--241, January 1999.
RIFLE: An Architectural Framework for User-Centric - Information-Flow Security Neil (Correct)
No context found.
A. C. Myers. JFlow: Practical mostly-static information flow control. In Proceedings of the 26th ACM Symposium on Principles of Programming Languages, pages 228--241, 1999.
A Logic for Information Flow Analysis of Pointer Programs - Amtoft, Bandhakavi, Banerjee (2005) (1 citation) (Correct)
No context found.
A. C. Myers. JFlow: Practical mostly-static information flow control. In POPL, pages 228--241, 1999.
Program Logic and Program Analysis - Honda, Yoshida, Berger (Correct)
No context found.
Andrew C. Myers. Jflow: practical mostly-static information flow control. In Proc. 26th POPL, 1999.
A Logic for Information Flow Analysis of Pointer Programs - Amtoft, Bandhakavi, Banerjee (2005) (1 citation) (Correct)
No context found.
A. C. Myers. JFlow: Practical mostly-static information flow control. In POPL, pages 228--241, 1999.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC