Andreas Holzer

Artificial Intelligence · 2012

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

Subfields

• Artificial Intelligence — 13 citations into it; #22,260 of 35,345 by trust here, #23,077 by citations
• Computational Theory and Mathematics — 9 citations into it
• Privacy & Security — 5 citations into it

Whom Andreas Holzer trusts overall

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

1. Edmund M. Clarke
2. Vladimir Kolesnikov
3. Geetha Jagannathan
4. Daniel Kroening
5. Thomas Schneider
6. Thomas Ball
7. Armin Biere
8. Benny Pinkas
9. Z. Erkin
10. Rebecca N. Wright

Who trusts Andreas Holzer overall

1. Samee Zahur
2. David E. Evans
3. Ebrahim M. Songhori
4. Mike Rosulek
5. Vladimir Kolesnikov
6. Shehzeen Samarah Hussain

Papers from Andreas Holzer's perspective

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

1. Fair exchange with a semi-trusted third party (extended abstract)
2. A Tool for Checking ANSI-C Programs (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
3. Fairplay - Secure Two-Party Computation System
4. Secure Two-Party Computation is Practical
5. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
6. TASTY: tool for automating secure two-party computations
7. Protocols for Secure Computations (Extended Abstract)
8. Faster Secure Two-Party Computation Using Garbled Circuits
9. Behavioral consistency of C and Verilog programs using bounded model checking
10. FairplayMP: a system for secure multi-party computation

Their papers

• Secure two-party computations in ANSI C (2012) — 145 citations