|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 108 occurrences of 70 keywords
|
|
|
Results
Found 377 publication records. Showing 377 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
124 | Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman |
TAJ: effective taint analysis of web applications. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
security, java, static analysis, web application, program analysis, slicing, taint analysis |
118 | Guru Venkataramani, Ioannis Doudalis, Yan Solihin, Milos Prvulovic |
FlexiTaint: A programmable accelerator for dynamic taint propagation. |
HPCA |
2008 |
DBLP DOI BibTeX RDF |
|
107 | Prateek Saxena, R. Sekar 0001, Varun Puranik |
Efficient fine-grained binary instrumentationwith applications to taint-tracking. |
CGO |
2008 |
DBLP DOI BibTeX RDF |
binary analysis/rewriting, taint tracking, information flow |
85 | Alex Ho, Michael A. Fetterman, Christopher Clark, Andrew Warfield, Steven Hand 0001 |
Practical taint-based protection using demand emulation. |
EuroSys |
2006 |
DBLP DOI BibTeX RDF |
QEMU, demand emulation, false tainting, tainting, virtual machine, virtualization, emulation, Xen |
83 | Walter Chang, Brandon Streiff, Calvin Lin |
Efficient and extensible security enforcement using dynamic data flow analysis. |
CCS |
2008 |
DBLP DOI BibTeX RDF |
security enforcement, static analysis, dynamic data flow analysis |
83 | James A. Clause, Ioannis Doudalis, Alessandro Orso, Milos Prvulovic |
Effective memory protection using dynamic tainting. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
illegal memory accesses, hardware support, dynamic tainting |
74 | Erika Chin, David A. Wagner 0001 |
Efficient character-level taint tracking for Java. |
SWS |
2009 |
DBLP DOI BibTeX RDF |
dynamic taint tracking, java, web applications, information flow |
68 | Hyung Chan Kim, Angelos D. Keromytis, Michael Covington, Ravi Sahita |
Capturing Information Flow with Concatenated Dynamic Taint Analysis. |
ARES |
2009 |
DBLP DOI BibTeX RDF |
|
68 | Lorenzo Cavallaro, R. Sekar 0001 |
Anomalous Taint Detection. |
RAID |
2008 |
DBLP DOI BibTeX RDF |
|
68 | Xinran Wang, Yoon-chan Jhi, Sencun Zhu, Peng Liu 0005 |
STILL: Exploit Code Detection via Static Taint and Initialization Analyses. |
ACSAC |
2008 |
DBLP DOI BibTeX RDF |
|
52 | Vijay Ganesh, Tim Leek, Martin C. Rinard |
Taint-based directed whitebox fuzzing. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
52 | Zhiwen Bai, Liming Wang, Jinglin Chen, Lin Xu, Jian Liu, Xiyang Liu |
DTAD: A Dynamic Taint Analysis Detector for Information Security. |
WAIM |
2008 |
DBLP DOI BibTeX RDF |
|
52 | James A. Clause, Wanchun Li, Alessandro Orso |
Dytan: a generic dynamic taint analysis framework. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
information flow, general framework, dynamic tainting |
52 | Zhiqiang Lin, Nai Xia, Guole Li, Bing Mao, Li Xie 0001 |
Transparent Run-Time Prevention of Format-String Attacks Via Dynamic Taint and Flexible Validation. |
ISC |
2006 |
DBLP DOI BibTeX RDF |
|
52 | Jingfei Kong, Cliff Changchun Zou, Huiyang Zhou |
Improving software security via runtime instruction-level taint checking. |
ASID |
2006 |
DBLP DOI BibTeX RDF |
format string, hardware tagging, buffer overflow |
50 | James Newsome, Stephen McCamant, Dawn Song |
Measuring channel capacity to distinguish undue influence. |
PLAS |
2009 |
DBLP DOI BibTeX RDF |
model counting, quantitative information flow, channel capacity |
50 | Lorenzo Cavallaro, Prateek Saxena, R. Sekar 0001 |
On the Limits of Information Flow Techniques for Malware Analysis and Containment. |
DIMVA |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Zhiyong Shan, Qiuyue Wang, Xiaofeng Meng 0001 |
An OS Security Protection Model for Defeating Attacks from Network. |
ICISS |
2007 |
DBLP DOI BibTeX RDF |
Access Control, information flow |
41 | Edward J. Schwartz, Thanassis Avgerinos, David Brumley |
All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask). |
IEEE Symposium on Security and Privacy |
2010 |
DBLP DOI BibTeX RDF |
dynamic analysis, symbolic execution, taint analysis |
39 | Tao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang 0001, 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 |
39 | Siliang Li, Gang Tan |
Finding bugs in exceptional situations of JNI programs. |
CCS |
2009 |
DBLP DOI BibTeX RDF |
static analysis, taint analysis, java native interface |
39 | Elizabeth Stinson, John C. Mitchell |
Characterizing Bots' Remote Control Behavior. |
Botnet Detection |
2008 |
DBLP DOI BibTeX RDF |
host-based, behavior-based, taint, interposition, detection, system call |
39 | Ken Koster |
A state coverage tool for JUnit. |
ICSE Companion |
2008 |
DBLP DOI BibTeX RDF |
coverage, unit testing, structural testing, test adequacy criteria, taint analysis, state coverage |
39 | Christof Fetzer, Martin Süßkraut |
Switchblade: enforcing dynamic personalized system call models. |
EuroSys |
2008 |
DBLP DOI BibTeX RDF |
system call interposition, system call models, security, taint analysis |
39 | 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 |
39 | Marco Cova, Viktoria Felmetsger, Greg Banks, Giovanni Vigna |
Static Detection of Vulnerabilities in x86 Executables. |
ACSAC |
2006 |
DBLP DOI BibTeX RDF |
binary static analysis, symbolic execution, Vulnerability analysis, taint analysis |
37 | John Galea, Daniel Kroening |
The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
37 | John Galea, Daniel Kroening |
The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation. |
AsiaCCS |
2020 |
DBLP DOI BibTeX RDF |
|
37 | Md. Imran Alam, Raju Halder, Harshita Goswami, Jorge Sousa Pinto |
K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework. |
ENASE |
2018 |
DBLP DOI BibTeX RDF |
|
37 | Neville Grech, Yannis Smaragdakis |
P/Taint: unified points-to and taint analysis. |
Proc. ACM Program. Lang. |
2017 |
DBLP DOI BibTeX RDF |
|
37 | Hou Rui, Zhigang Jin, Baoliang Wang |
Investigation of taint analysis for Smartphone-implicit taint detection and privacy leakage detection. |
EURASIP J. Wirel. Commun. Netw. |
2016 |
DBLP DOI BibTeX RDF |
|
37 | Ruoyu Zhang, Shan Huang, Zhengwei Qi |
Efficient Taint Analysis with Taint Behavior Summary. |
CMC |
2011 |
DBLP DOI BibTeX RDF |
|
37 | Angeliki Zavou, Georgios Portokalidis, Angelos D. Keromytis |
Taint-Exchange: A Generic System for Cross-Process and Cross-Host Taint Tracking. |
IWSEC |
2011 |
DBLP DOI BibTeX RDF |
|
33 | Shuo Tang, Chris Grier, Onur Aciiçmez, Samuel T. King |
Alhambra: a system for creating, enforcing, and testing browser security policies. |
WWW |
2010 |
DBLP DOI BibTeX RDF |
web browser, web security, cross-site scripting |
33 | Haibo Chen 0001, Liwei Yuan, Xi Wu 0001, 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 |
33 | Georgios Portokalidis, Herbert Bos |
Eudaemon: involuntary and on-demand emulation against zero-day exploits. |
EuroSys |
2008 |
DBLP DOI BibTeX RDF |
security, operating systems, honeypots |
33 | Edmund B. Nightingale, Daniel Peek, Peter M. Chen, Jason Flinn |
Parallelizing security checks on commodity hardware. |
ASPLOS |
2008 |
DBLP DOI BibTeX RDF |
security, performance, parallel, operating systems, speculative execution |
33 | Karl Chen, David A. Wagner 0001 |
Large-scale analysis of format string vulnerabilities in Debian Linux. |
PLAS |
2007 |
DBLP DOI BibTeX RDF |
format string vulnerability, large-scale analysis, type-qualifier inference |
22 | Dejan Baca |
Identifying Security Relevant Warnings from Static Code Analysis Tools through Code Tainting. |
ARES |
2010 |
DBLP DOI BibTeX RDF |
dua, security, data flow, coverity, Static code analysis, taint analysis, findbugs |
22 | Tielei Wang, Tao Wei, Guofei Gu, Wei Zou |
TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection. |
IEEE Symposium on Security and Privacy |
2010 |
DBLP DOI BibTeX RDF |
dynamic taint analysis, symbolic execution, fuzzing |
22 | Asia Slowinska, Herbert Bos |
Pointless tainting?: evaluating the practicality of pointer tainting. |
EuroSys |
2009 |
DBLP DOI BibTeX RDF |
dynamic taint analysis, pointer tainting |
22 | Rui Wang 0010, XiaoFeng Wang 0001, Kehuan Zhang, Zhuowei Li 0001 |
Towards automatic reverse engineering of software security configurations. |
CCS |
2008 |
DBLP DOI BibTeX RDF |
access control, reverse engineering, configuration, context-free language, taint analysis |
22 | Shvetank Jain, Fareha Shafique, Vladan Djeric, Ashvin Goel |
Application-level isolation and recovery with solitude. |
EuroSys |
2008 |
DBLP DOI BibTeX RDF |
transactional file system, access control, file systems, recovery, taint analysis, copy-on-write |
22 | 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 |
22 | Heng Yin 0001, Dawn Xiaodong Song, Manuel Egele, Christopher Kruegel, Engin Kirda |
Panorama: capturing system-wide information flow for malware detection and analysis. |
CCS |
2007 |
DBLP DOI BibTeX RDF |
dynamic taint analysis, spyware, malware detection, malware analysis |
22 | Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken |
Flow-insensitive type qualifiers. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
const, taint, security, static analysis, constraints, types, Type qualifiers |
18 | François Hublet, David A. Basin, Srdan Krstic |
User-Controlled Privacy: Taint, Track, and Control. |
Proc. Priv. Enhancing Technol. |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Jiahui Xiang, Wenhai Wang, Tong Ye, Peiyu Liu 0003 |
LuaTaint: A Static Taint Analysis System for Web Interface Framework Vulnerability of IoT Devices. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Yiyu Zhang, Tianyi Liu, Yueyang Wang, Yun Qi, Kai Ji, Jian Tang, Xiaoliang Wang, Xuandong Li, Zhiqiang Zuo 0002 |
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Marcos Tileria, Jorge Blasco, Santanu Kumar Dash 0001 |
DocFlow: Extracting Taint Specifications from Software Documentation. |
ICSE |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Yifan Luo, Baojiang Cui |
Rev Gadget: A Java Deserialization Gadget Chains Discover Tool Based on Reverse Semantics and Taint Analysis. |
EIDWT |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Huan Yu, Baojiang Cui |
IoTaint: An Optimized Static Taint Analysis Method in Embedded Firmware. |
EIDWT |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Akashdeep Bhardwaj, Ankit Vishnoi, Salil Bharany, Abdelzahir Abdelmaboud, Ashraf Osman Ibrahim, Mohamed Mamoun, Wamda Nagmeldin |
Framework to perform taint analysis and security assessment of IoT devices in smart cities. |
PeerJ Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Abdalla Wasef Marashdih, Zarul Fitri Zaaba, Khaled Suwais |
An Enhanced Static Taint Analysis Approach to Detect Input Validation Vulnerability. |
J. King Saud Univ. Comput. Inf. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Bihuan Chen 0001, Yang Liu 0003, Xin Peng 0001, Yijian Wu, Shengchao Qin |
Baton: symphony of random testing and concolic testing through machine learning and taint analysis. |
Sci. China Inf. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Mikhail Shcherbakov, Paul Moosbrugger, Musard Balliu |
Unveiling the Invisible: Detection and Evaluation of Prototype Pollution Gadgets with Dynamic Taint Analysis. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Puzhuo Liu, Chengnian Sun, Yaowen Zheng, Xuan Feng, Chuan Qin, Yuncheng Wang, Zhi Li 0018, Limin Sun |
Harnessing the Power of LLM to Support Binary Taint Analysis. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Yiu Wai Chow, Max Schäfer, Michael Pradel |
Beware of the Unexpected: Bimodal Taint Analysis. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Chenghua Tang, Zheng Du, Mengmeng Yang, Baohua Qiang |
Android static taint analysis based on multi branch search association. |
Comput. Secur. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Zhizhuang Jia, Chao Yang 0016, Xiaoyun Zhao, Xinghua Li 0001, Jian Feng Ma 0001 |
Design and implementation of an efficient container tag dynamic taint analysis. |
Comput. Secur. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Ruipeng Wang, Kaixiang Chen, Zulie Pan, Yuwei Li, Qianyu Li, Yang Li, Min Zhang, Chao Zhang 0008 |
Tunter: Assessing Exploitability of Vulnerabilities with Taint-Guided Exploitable States Exploration. |
Comput. Secur. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Cong Sun 0001, Yuwan Ma, Dongrui Zeng, Gang Tan, Siqi Ma, Yafei Wu |
μDep: Mutation-Based Dependency Generation for Precise Taint Analysis on Android Native Code. |
IEEE Trans. Dependable Secur. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Xiangyu Wu, Xuehui Du, Qiantao Yang, Aodi Liu, Na Wang, Wenjuan Wang |
TaintGuard: Preventing implicit privilege leakage in smart contract based on taint tracking at abstract syntax tree level. |
J. Syst. Archit. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Prakash Neupane, Manas Thakur |
Variational Study of the Impact of Call Graphs on Precision of Android Taint Analysis. |
ISEC |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Long Gao, Yiru Zhao, Qihan Wan, Lei Zhao |
Efficient Hybrid Fuzzing with Syntax-aware Input Trim Based on Lightweight Taint Analysis. |
ISPA/BDCloud/SocialCom/SustainCom |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Stefan Schott, Felix Pauck |
GenBenchDroid: Fuzzing Android Taint Analysis Benchmarks. |
Software Engineering |
2023 |
DBLP BibTeX RDF |
|
18 | Rulin Xu, Xiaoguang Mao, Luohui Chen |
P-DATA: A Task-Level Parallel Framework for Dependency-Aware Value Flow Taint Analysis. |
APSEC |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Siddharth Muralee, Igibek Koishybayev, Aleksandr Nahapetyan, Greg Tystahl, Bradley Reaves, Antonio Bianchi, William Enck, Alexandros Kapravelos, Aravind Machiry |
ARGUS: A Framework for Staged Static Taint Analysis of GitHub Workflows and Actions. |
USENIX Security Symposium |
2023 |
DBLP BibTeX RDF |
|
18 | Yang Chen, Jianfeng Jiang, Shoumeng Yan, Hui Xu |
Mind Your Enclave Pointers! Detecting Privacy Leaks for SGX Apps via Sparse Taint Analysis. |
ISSRE |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Subarno Banerjee, Siwei Cui, Michael Emmi, Antonio Filieri, Liana Hadarean, Peixuan Li, Linghui Luo, Goran Piskachev, Nicolás Rosner, Aritra Sengupta, Omer Tripp, Jingbo Wang |
Compositional Taint Analysis for Enforcing Security Policies at Scale. |
ESEC/SIGSOFT FSE |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Khaled Ahmed 0004, Yingying Wang, Mieszko Lis, Julia Rubin |
ViaLin: Path-Aware Dynamic Taint Analysis for Android. |
ESEC/SIGSOFT FSE |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Muhammad Monir Hossain, Nusrat Farzana Dipu, Kimia Zamiri Azar, Fahim Rahman, Farimah Farahmandi, Mark M. Tehranipoor |
TaintFuzzer: SoC Security Verification using Taint Inference-enabled Fuzzing. |
ICCAD |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Ying Zhang, Bo Yu |
FirmCVI: Taint Analysis-Based Component Version Identification Method for Large-Scale IoT Firmware. |
ICPADS |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Yiu Wai Chow, Max Schäfer, Michael Pradel |
Beware of the Unexpected: Bimodal Taint Analysis. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Zihao Wang, Pei Wang 0007, Qinkun Bao, Dinghao Wu |
Source Code Implied Language Structure Abstraction through Backward Taint Analysis. |
ICSOFT |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Yixiao Yang, Chen Gao, Zhiqi Li, Yifan Wang, Rui Wang |
Binary Level Concolic Execution on Windows with Rich Instrumentation Based Taint Analysis. |
SETTA |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Yujiang Gui, Dongjie He, Jingling Xue |
Merge-Replay: Efficient IFDS-Based Taint Analysis by Consolidating Equivalent Value Flows. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Teng Wang 0004, Haochen He, Xiaodong Liu 0004, Shanshan Li 0001, Zhouyang Jia, Yu Jiang, Qing Liao 0001, Wang Li 0003 |
ConfTainter: Static Taint Analysis For Configuration Options. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Mingqing Kang, Yichao Xu, Song Li 0006, Rigel Gjomemo, Jianwei Hou, V. N. Venkatakrishnan, Yinzhi Cao |
Scaling JavaScript Abstract Interpretation to Detect and Exploit Node.js Taint-style Vulnerability. |
SP |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Zexin Zhong, Jiangchao Liu, Diyu Wu, Peng Di, Yulei Sui, Alex X. Liu, John C. S. Lui |
Scalable Compositional Static Taint Analysis for Sensitive Data Tracing on Industrial Micro-Services. |
ICSE-SEIP |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Chao Wang, Ronny Ko, Yue Zhang 0025, Yuqing Yang 0003, Zhiqiang Lin |
Taintmini: Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis. |
ICSE |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Yicheng Ouyang, Kailai Shao, Kunqiu Chen, Ruobing Shen, Chao Chen, Mingze Xu, Yuqun Zhang, Lingming Zhang 0001 |
MirrorTaint: Practical Non-intrusive Dynamic Taint Tracking for JVM-based Microservice Systems. |
ICSE |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Jianjia Yu, Zifeng Kang, Yinzhi Cao |
MiniTaintDev: Unveiling Mini-App Vulnerabilities through Dynamic Taint Analysis. |
SaTS@CCS |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Puzhuo Liu, Yaowen Zheng, Chengnian Sun, Chuan Qin, Dongliang Fang, Mingdong Liu, Limin Sun |
FITS: Inferring Intermediate Taint Sources for Effective Vulnerability Analysis of IoT Device Firmware. |
ASPLOS (4) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Malte Mues |
The integration of multi-color taint-analysis with dynamic symbolic execution for Java web application security analysis. |
|
2023 |
RDF |
|
18 | Hiroki Inayoshi, Shohei Kakei, Eiji Takimoto, Koichi Mouri, Shoichi Saito |
Value-utilized taint propagation: toward precise detection of apps' information flows across Android API calls. |
Int. J. Inf. Sec. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Rongkuan Ma, Hao Zheng, Jingyi Wang, Mufeng Wang, Qiang Wei, Qingxian Wang |
Automatic protocol reverse engineering for industrial control systems with dynamic taint analysis. |
Frontiers Inf. Technol. Electron. Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Goran Piskachev, Johannes Späth, Ingo Budde, Eric Bodden |
Fluently specifying taint-flow queries with fluentTQL. |
Empir. Softw. Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Linghui Luo, Felix Pauck, Goran Piskachev, Manuel Benz, Ivan Pashchenko, Martin Mory, Eric Bodden, Ben Hermann 0001, Fabio Massacci |
TaintBench: Automatic real-world malware benchmarking of Android taint analyses. |
Empir. Softw. Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Linghui Luo |
Improving Real-World Applicability of Static Taint Analysis. |
Softwaretechnik-Trends |
2022 |
DBLP BibTeX RDF |
|
18 | Gen Zhang, Peng-Fei Wang 0010, Tai Yue, Xiangdong Kong, Xu Zhou, Kai Lu |
ovAFLow: Detecting Memory Corruption Bugs with Fuzzing-Based Taint Inference. |
J. Comput. Sci. Technol. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Junbin Zhang 0002, Yingying Wang, Lina Qiu, Julia Rubin |
Analyzing Android Taint Analysis Tools: FlowDroid, Amandroid, and DroidSafe. |
IEEE Trans. Software Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Ranjith Krishnamurthy, Goran Piskachev, Eric Bodden |
To what extent can we analyze Kotlin programs using existing Java taint analysis tools? (Extended Version) |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Goran Piskachev, Johannes Späth, Ingo Budde, Eric Bodden |
Fluently specifying taint-flow queries with fluentTQL. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Hossam ElAtali, Lachlan J. Gunn, Hans Liljestrand, N. Asokan |
BliMe: Verifiably Secure Outsourced Computation with Hardware-Enforced Taint Tracking. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Yang Chen, Jianfeng Jiang, Shoumeng Yan, Hui Xu |
STELLA: Sparse Taint Analysis for Enclave Leakage Detection. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Katherine Hough, Jonathan Bell 0001 |
A Practical Approach for Dynamic Taint Tracking with Control-flow Relationships. |
ACM Trans. Softw. Eng. Methodol. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Jacob Kreindl, Daniele Bonetta, David Leopoldseder, Lukas Stadler, Hanspeter Mössenböck |
Polyglot, Label-Defined Dynamic Taint Analysis in TruffleTaint. |
MPLR |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Jacob Kreindl, Daniele Bonetta, Lukas Stadler, David Leopoldseder, Hanspeter Mössenböck |
Dynamic Taint Analysis with Label-Defined Semantics. |
MPLR |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Dong Wang, Yu Gao 0002, Wensheng Dou, Jun Wei 0001 |
DisTA: Generic Dynamic Taint Tracking for Java-Based Distributed Systems. |
DSN |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 377 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|