PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Ullmann, Markus"

Author of the publication

copydeleteadd this publication to your clipboard
Ön-Card" User Authentication for Contactless Smart Cards based on Gesture Recognition.

, , and . Sicherheit, volume P-195 of LNI, page 223-234. GI, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Venelina Ullmann University of Stuttgart

Jens Ullmann University of Stuttgart

Thomas Ullmann University of Stuttgart

Prof. (Ruhestand) Franziska Ullmann University of Stuttgart

Markus Wagner

 

Other publications of authors with the same name

Formal Methods Diffusion: Past Lessons and Future Prospects., , , , and . SAFECOMP, volume 1943 of Lecture Notes in Computer Science, page 211-226. Springer, (2000)Security and Privacy in Pervasive Computing State of the Art and Future Directions., , and . SPC, volume 2802 of Lecture Notes in Computer Science, page 285-289. Springer, (2003)Availability: theory and fundamentals for practical evaluation and use., and . ACSAC, page 258-264. IEEE, (1994)Verification Support Environment., , and . CAV, volume 1102 of Lecture Notes in Computer Science, page 454-457. Springer, (1996)Improvement of Fuzzy Vault for Multiple Fingerprints with Angles., , and . BIOSIG, volume P-260 of LNI, page 233-240. GI / IEEE, (2016)Application of Formal Methods in the Scope of IT-Security., , and . SAFECOMP, page 389-394. Springer, (1996)Zukunft der Softwaretechnik aus Sicht der IT-Sicherheit.. Softwaretechnik-Trends, (2001)The Use of Formal Methods for Trusted Digital Signature Devices., , and . FLAIRS Conference, page 336-340. AAAI Press, (2000)The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process., , and . FM-Trends, volume 1641 of Lecture Notes in Computer Science, page 302-310. Springer, (1998)Merging the Cryptographic Security Analysis and the Algebraic-Logic Security Proof of PACE., , , , and . Sicherheit, volume P-195 of LNI, page 83-94. GI, (2012)