E-LIB Suche - Ergebnisse für: Kirsten, Michael

1

Why Is Online Voting Still Largely a Black Box?:

, In: Computer Security. ESORICS 2022 International Workshops; Lecture Notes in Computer Science,

Kirsten, Michael ; Volkamer, Melanie ; Beckert, Bernhard - p. 555-567 , 2023

Link: https://doi.org/10.1007/..

2

Card-Based Cryptography Meets Formal Verification:

Koch, Alexander ; Schrempp, Michael ; Kirsten, Michael
New Generation Computing. 39 (2021) 1 - p. 115-158 , 2021

Link: https://doi.org/10.1007/..

3

Integration of Static and Dynamic Analysis Techniques for C..:

, In: Lecture Notes in Computer Science; Deductive Software Verification: Future Perspectives,

Beckert, Bernhard ; Herda, Mihai ; Kirsten, Michael. - p. 287-312 , 2020

Link: https://doi.org/10.1007/..

4

Modular Verification of JML Contracts Using Bounded Model C..:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles; Lecture Notes in Computer Science,

Beckert, Bernhard ; Kirsten, Michael ; Klamroth, Jonas. - p. 60-80 , 2020

Link: https://doi.org/10.1007/..

5

Verified Construction of Fair Voting Rules:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Diekhoff, Karsten ; Kirsten, Michael ; Krämer, Jonas - p. 90-104 , 2020

Link: https://doi.org/10.1007/..

6

Card-Based Cryptography Meets Formal Verification:

, In: Lecture Notes in Computer Science; Advances in Cryptology – ASIACRYPT 2019,

Koch, Alexander ; Schrempp, Michael ; Kirsten, Michael - p. 488-517 , 2019

Link: https://doi.org/10.1007/..

7

Using Theorem Provers to Increase the Precision of Dependen..:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Beckert, Bernhard ; Bischof, Simon ; Herda, Mihai.. - p. 284-300 , 2018

Link: https://doi.org/10.1007/..

8

Praktische Gestaltung eines Logistik-Kennzahlensystems in d..:

, In: Praxis des Logistik-Controlling / Jürgen Weber (Hrsg.)

Heller, Carsten ; Kirsten, Michael. (1993) - p. 269-278

Copies: TB BHV: wir 377/100; TB BHV: wir 377/100a

9

Memoriæ Honoriq. Ætern. Cl. V. Joachimi Matth. F. Gerdesii,..:

Kirsten, Michael ; Gerdes, Joachim , A. MDCLXIX

Copies: Zentrale:Cassel IV.b.0140

10

Chr. Sacr. Mariæ Montanæ, Optimæ Pientissimæq. Foeminæ, V. ..:

Kirsten, Michael ; Montana, Maria , [1667]

Copies: Zentrale:Cassel IV.b.0140

11

Untersuchungen für ein Testverfahren zur Videoanalyse bei ..:

Kirsten, Timo Michael - [Online-Ausg.] . , 2013

Link: http://nbn-resolving.de/..

12

Formal Methods for Trustworthy Voting Systems : From Truste..:

Kirsten, Michael
https://publikationen.bibliothek.kit.edu/1000155115. , 2023

Link: https://publikationen.bi..

13

Professor Dr.-Ing. Gerhard Glaser zum 85. Geburtstag:

Kirsten, Michael
https://journals.qucosa.de/shb/article/view/593/401. , 2022

Link: https://journals.qucosa...

14

Card-Based Cryptography Meets Formal Verification:

Koch, Alexander ; Schrempp, Michael ; Kirsten, Michael
info:eu-repo/semantics/altIdentifier/wos/000636127500001. , 2021

Link: https://publikationen.bi..

15

A Hybrid Approach for Proving Noninterference of Java Progr..:

Küsters, Ralf ; Truderung, Tomasz ; Beckert, Bernhard...
(IACR) Cryptology ePrint Archive. , 2020

Link: https://publikationen.bi..