Ioannis Stais

Information Systems · 2016

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

Subfields

Whom Ioannis Stais trusts overall

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

  1. Dana Angluin
  2. Gary Wassermann
  3. Joeri de Ruiter
  4. Weilin Xu
  5. Alex Groce
  6. Xuejun Yang
  7. Zhendong Su

Who trusts Ioannis Stais overall

  1. George Argyros

Papers from Ioannis Stais's perspective

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

  1. Finding and understanding bugs in C compilers
  2. Differential Testing for Software
  3. Randomized Differential Testing as a Prelude to Formal Verification
  4. Learning Regular Sets from Queries and Counterexamples
  5. Coverage-directed differential testing of JVM implementations
  6. Sound and precise analysis of web applications for injection vulnerabilities (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  7. Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations
  8. Introduction to algorithms
  9. Saner: Composing Static and Dynamic Analysis to Validate Sanitization in Web Applications (IEEE Symposium on Security and Privacy)
  10. Privacy oracle: a system for finding application leaks with black box differential testing

Their papers