Michael Baer

Publication Activity (10 Years)

Years Active: 1998-2020
Publications (10 Years): 1

Top Topics

Public Key Infrastructure

Automatic Detection

Cryptographic Protocols

Static Analysis

Top Venues

Publications

Michael Baer, Norbert Oster, Michael Philippsen
MutantDistiller: Using Symbolic Execution for Automatic Detection of Equivalent Mutants and Generation of Mutant Killing Tests. ICST Workshops (2020)
Randy Bush, Bert Wijnen, Keyur Patel, Michael Baer
Definitions of Managed Objects for the Resource Public Key Infrastructure (RPKI) to Router Protocol. RFC 6945 (2013)
Michael Baer, Ulrich Hofmann, Stefan Gies
Multiple track 4D-road representation. Intelligent Vehicles Symposium (2010)
Michael Baer
Tight Bounds on Minimum Maximum Pointwise Redundancy CoRR (2008)
Michael Baer, Ricky Charlet, Wes Hardaker, Robert Story, Cliff Wang
IPsec Security Policy Database Configuration MIB. RFC 4807 (2007)
Elizabeth D. Mynatt, Maribeth Back, Roy Want, Michael Baer, Jason B. Ellis
Designing Audio Aura. CHI (1998)