Thanassis Avgerinos

Artificial Intelligence · 2010–2012

A researcher in the Science corpus: 3 papers; trusts 24 researchers and is trusted by 10 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 22 citations into it; #16,565 of 35,345 by trust here, #14,718 by citations
• Signal Processing — 21 citations into it; #3,073 of 7,572 by trust here, #2,001 by citations
• Software — 18 citations into it; #777 of 1,227 by trust here, #489 by citations
• Information Systems — 10 citations into it; #6,417 of 8,771 by trust here, #4,188 by citations
• Computer Networks and Communications — 9 citations into it
• Computational Theory and Mathematics — 8 citations into it

Whom Thanassis Avgerinos trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Patrice Godefroid
2. Koushik Sen
3. Ulrich Bayer
4. Gogul Balakrishnan
5. Andreas Moser
6. Vijay Ganesh
7. Christopher Krügel
8. Heng Yin
9. Dawn Song
10. Clark W. Barrett

Who trusts Thanassis Avgerinos overall

1. Yan Shoshitaishvili
2. Cristian Cadar
3. Peng Chen
4. Cornelius Aschermann
5. Sergej Schumilo
6. Sang Kil Cha
7. Rohit Sinha
8. Valentin J. M. Manès
9. Andrea Fioraldi
10. Ori Or-Meir

Papers from Thanassis Avgerinos's perspective

Ordered by how strongly the researchers Thanassis Avgerinos trusts endorse each paper. Same corpus, a different order for every researcher.

1. Dynamic Taint Analysis for Automatic Detection, Analysis, and SignatureGeneration of Exploits on Commodity Software (Network and Distributed System Security Symposium)
2. DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
3. Symbolic execution and program testing
4. Automated Whitebox Fuzz Testing (Network and Distributed System Security Symposium)
5. Polyglot: automatic extraction of protocol message format using dynamic binary analysis (Conference on Computer and Communications Security)
6. A Decision Procedure for Bit-Vectors and Arrays (International Conference on Computer Aided Verification)
7. Pin: building customized program analysis tools with dynamic instrumentation (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
8. Panorama: capturing system-wide information flow for malware detection and analysis (Conference on Computer and Communications Security)
9. CUTE: a concolic unit testing engine for C (ESEC/FSE-13)
10. Towards automatic generation of vulnerability-based signatures (IEEE Symposium on Security and Privacy)

Their papers

• BAP: A Binary Analysis Platform (2011) — 503 citations
• Unleashing Mayhem on Binary Code (2012) — 596 citations
• All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask) (2010) — 847 citations