Searching for authors named "Jochen Eisinger" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
from Microsoft using MS-CHAPv2 and Microsoft Point to Point Encryption
- …Exploiting known security holes in Microsoft’s PPTP Authentication Extensions (MS-CHAPv2) Jochen…
- Add To MetaCart
-
Don’t care words with an application to the automata-based approach for real addition
- … Abstract) ⋆⋆ Jochen Eisinger 1 and Felix Klaedtke 2 1 Albert-Ludwigs-Universität Freiburg, Faculty…
- Cited by 4 (2 self) – Add To MetaCart
-
Securing Wireless Networks in a University Environment
- …Securing Wireless Networks in a University Environment Jochen Eisinger, Peter Winterer, Bernd…
- Cited by 2 (0 self) – Add To MetaCart
-
Mechanizing the powerset construction for restricted classes of ω-automata
- … , Jochen Eisinger 2 , and Felix Klaedtke 1 1 ETH Zurich, Switzerland 2 Albert-Ludwigs-Universität Freiburg…
- Cited by 1 (1 self) – Add To MetaCart
-
LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals ⋆
- … , Christian Dax 2 , Jochen Eisinger 1 , and Felix Klaedtke 2 1 Introduction 1 Albert…
- Cited by 1 (0 self) – Add To MetaCart
-
A Definition and Classification of Timing Anomalies
- … Thesing 1 , Reinhard Wilhelm 1 , Ilia Polian 2 , Jochen Eisinger 2 , and Bernd Becker 2 1 Saarland…
- Cited by 6 (0 self) – Add To MetaCart
Showing 1 through 6.
