Search results for "information flow tracking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Jason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Ryan Kastner	Theoretical analysis of gate level information flow tracking.	DAC	2010	DBLP DOI BibTeX RDF	hardware security, Boolean logic, information flow tracking
3	Mohit Tiwari, Hassan M. G. Wassel, Bita Mazloom, Shashidhar Mysore, Frederic T. Chong, Timothy Sherwood	Complete information flow tracking from the gates up.	ASPLOS	2009	DBLP DOI BibTeX RDF	provably sound, gate level, information flow tracking
3	Haibo Chen, Liwei Yuan, Xi Wu, Binyu Zang, Bo Huang 0002, Pen-Chung Yew	Control flow obfuscation with information flow tracking.	MICRO	2009	DBLP DOI BibTeX RDF	control flow obfuscation, opaque predicate, information flow tracking, control speculation
3	Olatunji Ruwase, Phillip B. Gibbons, Todd C. Mowry, Vijaya Ramachandran, Shimin Chen, Michael Kozuch, Michael P. Ryan	Parallelizing dynamic information flow tracking.	SPAA	2008	DBLP DOI BibTeX RDF	dynamic information flow tracking (dift), log-based monitoring, parallel algorithm, taint analysis, program monitoring
2	Mohit Tiwari, Xun Li 0001, Hassan M. G. Wassel, Bita Mazloom, Shashidhar Mysore, Frederic T. Chong, Timothy Sherwood	Gate-Level Information-Flow Tracking for Secure Architectures.	IEEE Micro	2010	DBLP DOI BibTeX RDF	covert channels, noninterference, high-assurance systems, timing channels, information-flow tracking
2	Skyler Schneider, Daniel Y. Deng, Daniel Lo, Greg Malysa, G. Edward Suh	Implementing dynamic information flow tracking on microprocessors with integrated FPGA fabric (abstract only).	FPGA	2010	DBLP DOI BibTeX RDF	dynamic inspection, reconfigurable microprocessors, fpga
2	Juan Carlos Martinez Santos, Yunsi Fei, Zhijie Jerry Shi	PIFT: efficient dynamic information flow tracking using secure page allocation.	WESS	2009	DBLP DOI BibTeX RDF	control flow validation, security attacks, program validation
2	Mohit Tiwari, Xun Li 0001, Hassan M. G. Wassel, Frederic T. Chong, Timothy Sherwood	Execution leases: a hardware-supported mechanism for enforcing strong non-interference.	MICRO	2009	DBLP DOI BibTeX RDF	gate level information flow tracking, covert channels, high assurance systems, timing channels
2	Rajiv Gupta, Neelam Gupta, Xiangyu Zhang, Dennis Jeffrey, Vijay Nagarajan, Sriraman Tallam, Chen Tian	Scalable dynamic information flow tracking and its applications.	IPDPS	2008	DBLP DOI BibTeX RDF
2	Monica S. Lam, Michael C. Martin, V. Benjamin Livshits, John Whaley	Securing web applications with static and dynamic information flow tracking.	PEPM	2008	DBLP DOI BibTeX RDF	model checking, static analysis, web applications, pattern matching, dynamic analysis, SQL injection, cross-site scripting
2	Susanta Nanda, Lap-Chung Lam, Tzi-cker Chiueh	Dynamic multi-process information flow tracking for web application security.	Middleware (Demos and Posters)	2007	DBLP DOI BibTeX RDF	dynamic checking compiler, SQL injection, cross-site scripting, web application security, taint analysis, information flow tracking
2	Feng Qin, Cheng Wang, Zhenmin Li, Ho-Seop Kim, Yuanyuan Zhou, Youfeng Wu	LIFT: A Low-Overhead Practical Information Flow Tracking System for Detecting Security Attacks.	MICRO	2006	DBLP DOI BibTeX RDF
2	Lap-Chung Lam, Tzi-cker Chiueh	A General Dynamic Information Flow Tracking Framework for Security Applications.	ACSAC	2006	DBLP DOI BibTeX RDF
2	G. Edward Suh, Jae W. Lee, David Zhang, Srinivas Devadas	Secure program execution via dynamic information flow tracking.	ASPLOS	2004	DBLP DOI BibTeX RDF	format string, hardware tagging, buffer overflow
1	Bita Mazloom, Shashidhar Mysore, Mohit Tiwari, Banit Agrawal, Timothy Sherwood	Dataflow Tomography: Information Flow Tracking For Understanding and Visualizing Full Systems.	TACO	2012	DBLP DOI BibTeX RDF
1	Wei Hu, Jason Oberg, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Dejun Mu, Ryan Kastner	On the Complexity of Generating Gate Level Information Flow Tracking Logic.	IEEE Transactions on Information Forensics and Security	2012	DBLP DOI BibTeX RDF
1	Wei Hu, Jason Oberg, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Dejun Mu, Ryan Kastner	Theoretical Fundamentals of Gate Level Information Flow Tracking.	IEEE Trans. on CAD of Integrated Circuits and Systems	2011	DBLP DOI BibTeX RDF
1	Meltem Ozsoy, Dmitry Ponomarev, Nael B. Abu-Ghazaleh, Tameesh Suri	SIFT: a low-overhead dynamic information flow tracking architecture for SMT processors.	Conf. Computing Frontiers	2011	DBLP DOI BibTeX RDF
1	William Enck, Peter Gilbert, Byung-gon Chun, Landon P. Cox, Jaeyeon Jung, Patrick McDaniel, Anmol Sheth	TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones.	OSDI	2010	DBLP BibTeX RDF
1	Kan Zhou, Shiqiu Huang, Zhengwei Qi, Jian Gu, Beijun Shen	Enhance Information Flow Tracking with Function Recognition.	e-Forensics	2010	DBLP DOI BibTeX RDF
1	Tao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu	Strict control dependence and its effect on dynamic information flow analyses.	ISSTA	2010	DBLP DOI BibTeX RDF	dynamic information flow, strict control dependence, data dependence, control dependence, taint analysis
1	Qing Zhang, John McCullough, Justin Ma, Nabil Schear, Michael Vrable, Amin Vahdat, Alex C. Snoeren, Geoffrey M. Voelker, Stefan Savage	Neon: system support for derived data management.	VEE	2010	DBLP DOI BibTeX RDF	difc, memory tainting, qemu, virtualization, xen
1	Kunbo Li, Ryota Shioya, Masahiro Goshima, Shuichi Sakai	String-Wise Information Flow Tracking against Script Injection Attacks.	PRDC	2009	DBLP DOI BibTeX RDF
1	Hari Kannan, Michael Dalton, Christos Kozyrakis	Decoupling Dynamic Information Flow Tracking with a dedicated coprocessor.	DSN	2009	DBLP DOI BibTeX RDF
1	Matthew Van Gundy, Hao Chen	Noncespaces: Using Randomization to Enforce Information Flow Tracking and Thwart Cross-Site Scripting Attacks.	NDSS	2009	DBLP BibTeX RDF
1	Asia Slowinska, Herbert Bos	Pointless tainting?: evaluating the practicality of pointer tainting.	EuroSys	2009	DBLP DOI BibTeX RDF	dynamic taint analysis, pointer tainting
1	Ziqing Mao, Ninghui Li, Hong Chen, Xuxian Jiang	Trojan horse resistant discretionary access control.	SACMAT	2009	DBLP DOI BibTeX RDF	access control, operating system, information flow
1	Haibo Chen, Xi Wu, Liwei Yuan, Binyu Zang, Pen-Chung Yew, Frederic T. Chong	From Speculation to Security: Practical and Efficient Information Flow Tracking Using Speculative Hardware.	ISCA	2008	DBLP DOI BibTeX RDF
1	JaeWoong Chung, Michael Dalton, Hari Kannan, Christos Kozyrakis	Thread-safe dynamic binary translation using transactional memory.	HPCA	2008	DBLP DOI BibTeX RDF
1	Chris Grier, Shuo Tang, Samuel T. King	Secure Web Browsing with the OP Web Browser.	IEEE Symposium on Security and Privacy	2008	DBLP DOI BibTeX RDF	security, browser, web security
1	Michael Dalton, Hari Kannan, Christos Kozyrakis	Raksha: a flexible information flow architecture for software security.	ISCA	2007	DBLP DOI BibTeX RDF	semantic vulnerabilities, dynamic, software security
1	Gary Wassermann, Zhendong Su	Sound and precise analysis of web applications for injection vulnerabilities.	PLDI	2007	DBLP DOI BibTeX RDF	string analysis, static analysis, web applications
1	Micha Moffie, Winnie Cheng, David R. Kaeli, Qin Zhao	Hunting Trojan Horses.	ASID	2006	DBLP DOI BibTeX RDF	information flow control, program monitoring, run time environment, data labeling
1	V. N. Venkatakrishnan, Wei Xu, Daniel C. DuVarney, R. Sekar	Provably Correct Runtime Enforcement of Non-interference Properties.	ICICS	2006	DBLP DOI BibTeX RDF