George Argyros
Information Systems · 2016–2017
A researcher in the Science corpus: 3 papers; trusts 3 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Information Systems — 9 citations into it
- Signal Processing — 8 citations into it
- Artificial Intelligence — 6 citations into it
Whom George Argyros trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Dana Angluin
- Joeri de Ruiter
- Gary Wassermann
- Weilin Xu
- Alex Groce
- Chad Brubaker
- Zhendong Su
- Erik Poll
- Yuting Chen
- Xuejun Yang
Who trusts George Argyros overall
Papers from George Argyros's perspective
Ordered by how strongly the researchers George Argyros trusts endorse each paper. Same corpus, a different order for every researcher.
- Finding and understanding bugs in C compilers
- Differential Testing for Software
- The most dangerous code in the world: validating SSL certificates in non-browser software (Conference on Computer and Communications Security)
- Randomized Differential Testing as a Prelude to Formal Verification
- Learning Regular Sets from Queries and Counterexamples
- Coverage-directed differential testing of JVM implementations
- Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations
- Sound and precise analysis of web applications for injection vulnerabilities (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Introduction to algorithms
- Privacy oracle: a system for finding application leaks with black box differential testing
Their papers
- HVLearn: Automated Black-Box Analysis of Hostname Verification in SSL/TLS Implementations (2017) — 91 citations
- SFADiff: Automated Evasion Attacks and Fingerprinting Using Black-box Differential Automata Learning (2016) — 67 citations
- Back in Black: Towards Formal, Black Box Analysis of Sanitizers and Filters (2016) — 46 citations