Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card.

H. Scherzer, R. Canetti, P. Karger, H. Krawczyk, T. Rabin, and D. Toll. ESORICS, volume 2808 of Lecture Notes in Computer Science, page 181-200. Springer, (2003)

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.

Dr. Marie Davidova University of Stuttgart

C. Traut

C. Honold

David Krach University of Stuttgart

Digital Rock Physics : A Geological Driven Workflow for the Segmentation of Anisotropic Ruhr SandstoneM. Balcewicz, M. Siegert, M. Gurris, M. Ruf, D. Krach, H. Steeb, and E. Saenger. Frontiers in Earth Science, (2021)

Digital Rock Physics : A Geological Driven Workflow for the Segmentation of Anisotropic Ruhr SandstoneM. Balcewicz, M. Siegert, M. Gurris, M. Ruf, D. Krach, H. Steeb, and E. Saenger. Frontiers in Earth Science, (2021)Permeability Estimation of Regular Porous Structures : A Benchmark for Comparison of MethodsA. Wagner, E. Eggenweiler, F. Weinhardt, Z. Trivedi, D. Krach, C. Lohrmann, K. Jain, N. Karadimitriou, C. Bringedal, P. Voland and 4 other author(s). Transport in porous media, 138 (1): 1-23 (2021)Simulation of weak-inertia single-phase flow in porous materials using Smoothed Particle HydrodynamicsD. Krach, and H. Steeb. PAMM, 20 (1): e202000289 (2021)

David Inkermann

Other publications of authors with the same name

Lessons Learned: Building the Caernarvon High-Assurance Operating System.P. Karger, S. McIntosh, E. Palmer, D. Toll, and S. Weber. IEEE Security & Privacy, 9 (1): 22-30 (2011)Verified Formal Security Models for Multiapplicative Smart Cards.G. Schellhorn, W. Reif, A. Schairer, P. Karger, V. Austel, and D. Toll. Journal of Computer Security, 10 (4): 339-368 (2002)The Caernarvon secure embedded operating system.D. Toll, P. Karger, E. Palmer, S. McIntosh, and S. Weber. Operating Systems Review, 42 (1): 32-39 (2008)Privacy is essential for secure mobile devices.P. Karger, G. Kc, and D. Toll. IBM Journal of Research and Development, 53 (2): 5 (2009)Implementing a High-Assurance Smart-Card OS.P. Karger, D. Toll, E. Palmer, S. McIntosh, S. Weber, and J. Edwards. Financial Cryptography, volume 6052 of Lecture Notes in Computer Science, page 51-65. Springer, (2010)Designing a Side Channel Resistant Random Number Generator.S. Chari, V. Diluoffo, P. Karger, E. Palmer, T. Rabin, J. Rao, P. Rohatgi, H. Scherzer, M. Steiner, and D. Toll. CARDIS, volume 6035 of Lecture Notes in Computer Science, page 49-64. Springer, (2010)Verification of a Formal Security Model for Multiapplicative Smart Cards.G. Schellhorn, W. Reif, A. Schairer, P. Karger, V. Austel, and D. Toll. ESORICS, volume 1895 of Lecture Notes in Computer Science, page 17-36. Springer, (2000)The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System.S. Weber, A. Paradkar, S. McIntosh, D. Toll, P. Karger, M. Kaplan, and E. Palmer. ISSRE, page 229-238. IEEE Computer Society, (2008)Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card.H. Scherzer, R. Canetti, P. Karger, H. Krawczyk, T. Rabin, and D. Toll. ESORICS, volume 2808 of Lecture Notes in Computer Science, page 181-200. Springer, (2003)