T. Amtoft and A. Banerjee. Information flow analysis in logical form. In SAS, volume 3148 of LNCS, pages 100--115, 2004. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Logic for Information Flow Analysis of Pointer Programs - Amtoft, Bandhakavi, Banerjee (2005) (1 citation) Self-citation (Amtoft Banerjee) (Correct)
No context found.
T. Amtoft and A. Banerjee. Information flow analysis in logical form. In SAS, LNCS 3148, pages 100--115. Springer-Verlag, 2004.
Information Flow Analysis in Logical Form - Amtoft, Banerjee (2004) (7 citations) Self-citation (Amtoft Banerjee) (Correct)
No context found.
Torben Amtoft and Anindya Banerjee. Information flow analysis in logical form. Technical Report CIS TR 2004-3, Kansas State University, April 2004.
A Logic for Information Flow Analysis of Pointer Programs - Amtoft, Bandhakavi, Banerjee (2005) (1 citation) Self-citation (Amtoft Banerjee) (Correct)
No context found.
T. Amtoft and A. Banerjee. Information flow analysis in logical form. In SAS, LNCS 3148, pages 100--115. Springer-Verlag, 2004.
A Logic for Information Flow Analysis with an Application to .. - Amtoft, Banerjee (2005) Self-citation (Amtoft Banerjee) (Correct)
No context found.
Torben Amtoft and Anindya Banerjee. Information flow analysis in logical form. Technical Report CIS TR 2004-3, Kansas State University, April 2004.
A Logic for Information Flow Analysis with an Application to .. - Amtoft, Banerjee (2005) Self-citation (Amtoft Banerjee) (Correct)
No context found.
Torben Amtoft and Anindya Banerjee. Information flow analysis in logical form. In Static Analysis Symposium (SAS), volume 3148 of Lecture Notes in Computer Science, pages 100--115. Springer-Verlag, 2004.
Information Flow Analysis in Logical Form - Amtoft, Banerjee (2004) (7 citations) Self-citation (Amtoft Banerjee) (Correct)
No context found.
Torben Amtoft and Anindya Banerjee. Information flow analysis in logical form. Technical Report CIS TR 2004-3, Kansas State University, April 2004.
Interprocedural Shape Analysis with Separated Heap.. - Gotsman, Berdine, Cook (Correct)
No context found.
T. Amtoft and A. Banerjee. Information flow analysis in logical form. In SAS, volume 3148 of LNCS, pages 100--115, 2004.
On Flow-Sensitive Security Types - Sebastian Hunt Department (Correct)
No context found.
Torben Amtoft and Anindya Banerjee. Information flow analysis in logical form. In SAS 2004 (11th Static Analysis Symposium), Verona, Italy, August 2004, volume 3148 of LNCS, pages 100--115. Springer-Verlag, 2004.
A Local Shape Analysis based on Separation Logic - Distefano, O'Hearn, Yang (2006) (4 citations) (Correct)
No context found.
T. Amtoft and A. Banerjee. Information flow analysis in logical form. 11th Static Analysis Symposium, LNCS3184, pp100-115, 2004.
Tachio Terauchi Alex Aiken - Report No Ucb (Correct)
No context found.
T. Amtoft and A. Banerjee. Information flow analysis in logical form. In R. Giacobazzi, editor, Static Analysis, Eleventh International Symposium, volume 3148 of Lecture Notes in Computer Science, pages 100--115, Verona, Italy, August 2004. Springer-Verlag.
Language-Based Approaches to - Secure Information Flow (Correct)
No context found.
Torben Amtoft and Anindya Banerjee. Information flow analysis in logical form. In Roberto Giacobazzi, editor, SAS 2004.
Program Logic and Program Analysis - Honda, Yoshida, Berger (Correct)
No context found.
Torben Amtoft and Anindya Banerjee. Information flow analysis in logical form. In Symposium on Static Analysis 2004, LNCS. Springer Verlag, 2004.
Information Flow Analysis for Java Bytecode - Genaim, Spoto (2 citations) (Correct)
No context found.
T. Amtoft and A. Banerjee. Information Flow Analysis in Logical Form. In R. Giacobazzi, editor, Proceedings of the Eleventh International Static Analysis Symposium (SAS), Lecture Notes in Computer Science, pages 100--115. SpringerVerlag, August 2004.
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