Poster: Dynamic Taint Analysis of Concurrent Program Based on Symbolic Execution Yu Hao∗ , Xiaodong Zhang∗ , Zijiang Yang† and Ting Liu∗ ,IEEEauthorrefmark2 ∗ Ministry of Education Key Lab for Intelligent Netw

Source URL: www.ieee-security.org

• Software engineering
• Computer programming
• Computing
• Object-oriented programming languages
• KeY
• Symbolic execution
• Thread
• LLVM
• Parallel computing
• D
• Concolic testing

Towards a Taint Mode for Cloud Computing Web Applications Luciano Bello Alejandro Russo Chalmers University of Technology

Source URL: www.cse.chalmers.se

F4F: Taint Analysis of Framework-based Web Applications Manu Sridharan1 Shay Artzi1 Marco Pistoia1

Source URL: manu.sridharan.net

F4F: Taint Analysis of Framework-based Web Applications Manu Sridharan1 Shay Artzi1 Marco Pistoia1 Sal Guarnieri2 Omer Tripp2,3 1IBM

Source URL: manu.sridharan.net

All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask) Edward J. Schwartz, Thanassis Avgerinos, David Brumley Carnegie Mellon University Pittsburgh, PA

Source URL: users.ece.cmu.edu

A posteriori taint-tracking for demonstrating non-interference in expressive low-level languages Peter Aldous University of Utah

Source URL: spw16.langsec.org

• Compiler optimizations
• Computing
• Program analysis
• Abstract interpretation
• Data-flow analysis
• Abstraction
• Static single assignment form
• Graph
• Bytecode
• Register allocation
• Algorithm
• Academia

All You Ever Wanted to Know About Dynamic Taint Analysis & Forward Symbolic Execution

Source URL: oakland31.cs.virginia.edu

• Carnegie Mellon University
• Concolic testing
• Taint checking
• Mellon
• Symbolic execution
• Software engineering

To age or not to age? Storing

Source URL: www.defalcowines.com

• Wine
• Grape
• Food and drink
• Oenology
• Dessert wine
• Fortified wine
• Storage of wine
• Aging of wine
• Wine cellar
• Port wine
• Cork taint
• Red wine

A posteriori taint-tracking for demonstrating non-interference in expressive low-level languages Peter Aldous and Matthew Might University of Utah

Source URL: spw16.langsec.org

• Password
• Security
• Denning

LazyTainter: Memory-Efficient Taint Tracking in Managed Runtimes Zheng Wei David Lie

Source URL: www.eecg.toronto.edu

• Memory management
• Android
• Java virtual machine
• C++
• Primitive types
• Dalvik
• Java
• Pointer
• Garbage collection
• Garbage
• Memory leak
• C dynamic memory allocation