Andreas Holzer is an author at TU Wien specializing in formal methods, formal verification, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationProgram AnalysisSoftware TestingSoftware AnalysisComputer EngineeringSoftware Engineering
Publications per year
2010–2013
3
3
Secure two-party computations in ANSI C
Andreas Holzer, Martin Franz, Stefan Katzenbeisser et al. · 2012 · 128 citations
Cryptographic Primitive, Engineering, Information Security +17
Azadeh Farzan, Andreas Holzer, Niloofar Razavi et al. · 2013 · 63 citations
How did you specify your test suite
Andreas Holzer, Christian Schallhart, Michael Tautschnig et al. · 2010 · 45 citations
Rows per page
1–3 of 3