Theofilos Petsios

Software · 2017

A researcher in the Science corpus: 1 paper; trusts 5 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom Theofilos Petsios trusts overall

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

  1. Yuting Chen
  2. Suman Sekhar Jana
  3. Darko Marinov
  4. Christian Holler
  5. Marcel Böhme
  6. Xuejun Yang
  7. Zhendong Su
  8. Sarfraz Khurshid
  9. Vitaly Shmatikov
  10. Chad Brubaker

Who trusts Theofilos Petsios overall

  1. Kexin Pei
  2. Yinzhi Cao

Papers from Theofilos Petsios's perspective

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

  1. Finding and understanding bugs in C compilers
  2. Symbolic execution and program testing
  3. Differential Testing for Software
  4. Grammar-based whitebox fuzzing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  5. The most dangerous code in the world: validating SSL certificates in non-browser software (Conference on Computer and Communications Security)
  6. Internet X.509 Public Key Infrastructure Certificate and Certificate Revocation List (CRL) Profile (Request for Comments)
  7. Coverage-directed differential testing of JVM implementations
  8. Fuzzing with Code Fragments (USENIX Security Symposium)
  9. Guided differential testing of certificate validation in SSL/TLS implementations
  10. Abusing File Processing in Malware Detectors for Fun and Profit

Their papers