Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Strongly-Optimal Structure Preserving Signatures from Type II Pairings: Synthesis and Lower Bounds.

G. Barthe, E. Fagerholm, D. Fiore, A. Scedrov, B. Schmidt, und M. Tibouchi. Public Key Cryptography, Volume 9020 von Lecture Notes in Computer Science, Seite 355-376. Springer, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Andre Leippi University of Stuttgart

Andre Heining University of Stuttgart

André Jaquemod University of Stuttgart

Dr. Andre Schmidt University of Stuttgart

Emil Andreas University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Formal Analysis of Multi-Party Contract Signing.R. Chadha, S. Kremer, und A. Scedrov. CSFW, Seite 266-265. IEEE Computer Society, (2004)A Probabilistic Poly-Time Framework for Protocol Analysis.P. Lincoln, J. Mitchell, M. Mitchell, und A. Scedrov. ACM Conference on Computer and Communications Security, Seite 112-121. ACM, (1998)Reduction-Based Formal Analysis of BGP Instances.A. Wang, C. Talcott, A. Gurney, B. Loo, und A. Scedrov. TACAS, Volume 7214 von Lecture Notes in Computer Science, Seite 283-298. Springer, (2012)On Lambek's Restriction in the Presence of Exponential Modalities.M. Kanovich, S. Kuznetsov, und A. Scedrov. LFCS, Volume 9537 von Lecture Notes in Computer Science, Seite 146-158. Springer, (2016)Some Semantic Aspects of Polymorphic Lambda CalculusP. Freyd, und A. Scedrov. LICS, Seite 315-319. IEEE Computer Society, (1987)Decision Problems for Propositional Linear Logic.P. Lincoln, J. Mitchell, A. Scedrov, und N. Shankar. Ann. Pure Appl. Logic, 56 (1-3): 239-311 (1992)L-Models and R-Models for Lambek Calculus Enriched with Additives and the Multiplicative Unit.M. Kanovich, S. Kuznetsov, und A. Scedrov. WoLLIC, Volume 11541 von Lecture Notes in Computer Science, Seite 373-391. Springer, (2019)Polynomially Grade Logic I: A Graded Version of System TA. Nerode, J. Remmel, und A. Scedrov. LICS, Seite 375-385. IEEE Computer Society, (1989)A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols.M. AlTurki, T. Kirigin, M. Kanovich, V. Nigam, A. Scedrov, und C. Talcott. Foundations of Security, Protocols, and Equational Reasoning, Volume 11565 von Lecture Notes in Computer Science, Seite 192-213. Springer, (2019)Some aspects of categorial semantics: sheves and glueing.A. Scedrov. Logic Colloquium, Seite 281-302. Elsevier, (1985)