Permissive dynamic information flow analysis

Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security - PLAS '10 ◽

10.1145/1814217.1814220 ◽

2010 ◽

Author(s):

Thomas H. Austin ◽

Cormac Flanagan

Keyword(s):

Information Flow ◽

Flow Analysis ◽

Dynamic Information ◽

Information Flow Analysis

Download Full-text

Dynamic Information-Flow Analysis for Multi-threaded Applications

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34026-0_27 ◽

2012 ◽

pp. 358-371 ◽

Author(s):

Laurent Mounier ◽

Emmanuel Sifakis

Keyword(s):

Information Flow ◽

Flow Analysis ◽

Dynamic Information ◽

Information Flow Analysis

Download Full-text

Efficient purely-dynamic information flow analysis (abstract only)

ACM SIGPLAN Notices ◽

10.1145/1667209.1667220 ◽

2009 ◽

Vol 44 (8) ◽

pp. 6-6 ◽

Author(s):

Thomas H. Austin ◽

Cormac Flanagan

Keyword(s):

Information Flow ◽

Flow Analysis ◽

Dynamic Information ◽

Information Flow Analysis

Download Full-text

Algorithms and tool support for dynamic information flow analysis

Information and Software Technology ◽

10.1016/j.infsof.2008.05.008 ◽

2009 ◽

Vol 51 (2) ◽

pp. 385-404 ◽

Author(s):

Wes Masri ◽

Andy Podgurski

Keyword(s):

Information Flow ◽

Flow Analysis ◽

Tool Support ◽

Dynamic Information ◽

Information Flow Analysis

Download Full-text

Dynamic Information Flow Analysis in Ruby

10.31979/etd.kz95-t8bz ◽

2017 ◽

Author(s):

Vigneshwari Chandrasekaran

Keyword(s):

Information Flow ◽

Flow Analysis ◽

Dynamic Information ◽

Information Flow Analysis

Download Full-text

Efficient purely-dynamic information flow analysis

ACM SIGPLAN Notices ◽

10.1145/1667209.1667223 ◽

2009 ◽

Vol 44 (8) ◽

pp. 20-31 ◽

Author(s):

Thomas H. Austin ◽

Cormac Flanagan

Keyword(s):

Information Flow ◽

Flow Analysis ◽

Dynamic Information ◽

Information Flow Analysis

Download Full-text

Using dynamic information flow analysis to detect attacks against applications

ACM SIGSOFT Software Engineering Notes ◽

10.1145/1082983.1083216 ◽

2005 ◽

Vol 30 (4) ◽

pp. 1-7 ◽

Author(s):

Wes Masri ◽

Andy Podgurski

Keyword(s):

Information Flow ◽

Flow Analysis ◽

Dynamic Information ◽

Information Flow Analysis

Download Full-text

Using dynamic information flow analysis to detect attacks against applications

Proceedings of the 2005 workshop on Software engineering for secure systems---building trustworthy applications - SESS '05 ◽

10.1145/1083200.1083216 ◽

2005 ◽

Author(s):

Wes Masri ◽

Andy Podgurski

Keyword(s):

Information Flow ◽

Flow Analysis ◽

Dynamic Information ◽

Information Flow Analysis

Download Full-text

Efficient purely-dynamic information flow analysis

Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security - PLAS '09 ◽

10.1145/1554339.1554353 ◽

2009 ◽

Author(s):

Thomas H. Austin ◽

Cormac Flanagan

Keyword(s):

Information Flow ◽

Flow Analysis ◽

Dynamic Information ◽

Information Flow Analysis

Download Full-text

Application-based anomaly intrusion detection with dynamic information flow analysis

Computers & Security ◽

10.1016/j.cose.2008.06.002 ◽

2008 ◽

Vol 27 (5-6) ◽

pp. 176-187 ◽

Author(s):

Wes Masri ◽

Andy Podgurski

Keyword(s):

Intrusion Detection ◽

Information Flow ◽

Flow Analysis ◽

Dynamic Information ◽

Information Flow Analysis ◽

Anomaly Intrusion Detection

Download Full-text

Dynamic information flow analysis in Vascular Dementia patients during the performance of a visual oddball task

Neuroscience Letters ◽

10.1016/j.neulet.2014.07.056 ◽

2014 ◽

Vol 580 ◽

pp. 108-113 ◽

Author(s):

Chao Wang ◽

Jin Xu ◽

Wutao Lou ◽

Songzhen Zhao

Keyword(s):

Vascular Dementia ◽

Information Flow ◽

Flow Analysis ◽

Dynamic Information ◽

Information Flow Analysis ◽

Oddball Task ◽

Dementia Patients ◽

Download Full-text