Autor: "Dreier, Jannik" - OpacWWW

Skocz do pozycji: 1.

Tytuł:: Formally and practically verifying flow properties in industrial systems
Autorzy:: Dreier, Jannik
Puys, Maxime
Potet, Marie-Laure
Lafourcade, Pascal
Roch, Jean-Louis; Pokaż więcej
Źródło:: In Computers & Security September 2019 86:453-470

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Optimal threshold padlock systems.
Autorzy:: Dreier, Jannik (AUTHOR) Jannik.Dreier@loria.fr
Dumas, Jean-Guillaume (AUTHOR)
Lafourcade, Pascal (AUTHOR)
Robert, Léo (AUTHOR); Pokaż więcej
Źródło:: Journal of Computer Security. 2022, Vol. 30 Issue 5, p655-688. 34p.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 3.

Tytuł:: Formal Analysis of Combinations of Secure Protocols
Autorzy:: Blot, Elliott
Dreier, Jannik
Lafourcade, Pascal; Pokaż więcej
Źródło:: Foundations and Practice of Security : 10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised Selected Papers. 10723:53-67

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Physical Zero-Knowledge Proof for Makaro
Autorzy:: Bultel, Xavier
Dreier, Jannik
Dumas, Jean-Guillaume
Lafourcade, Pascal
Miyahara, DaikiAff19, Aff20
Mizuki, Takaaki
Nagao, Atsuki
Sasaki, Tatsuya
Shinagawa, KazumasaAff20, Aff22
Sone, Hideaki; Pokaż więcej
Źródło:: Stabilization, Safety, and Security of Distributed Systems : 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings. 11201:111-125

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: On the existence and decidability of unique decompositions of processes in the applied π-calculus
Autorzy:: Dreier, Jannik
Ene, Cristian
Lafourcade, Pascal
Lakhnech, Yassine; Pokaż więcej
Źródło:: In Theoretical Computer Science 25 January 2016 612:102-125

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols
Autorzy:: Dreier, Jannik
Duménil, Charles
Kremer, Steve
Sasse, Ralf; Pokaż więcej
Źródło:: Principles of Security and Trust : 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. 10204:117-140

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Automated Verification of e-Cash Protocols
Autorzy:: Dreier, JannikAff12, Aff13, Aff14
Kassem, AliAff15, Aff16
Lafourcade, Pascal; Pokaż więcej
Źródło:: E-Business and Telecommunications : 12th International Joint Conference, ICETE 2015, Colmar, France, July 20–22, 2015, Revised Selected Papers. 585:223-244

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Formal Security Analysis of Traditional and Electronic Exams
Autorzy:: Dreier, Jannik
Giustolisi, Rosario
Kassem, Ali
Lafourcade, Pascal
Lenzini, Gabriele
Ryan, Peter Y. A.; Pokaż więcej
Źródło:: E-Business and Telecommunications : 11th International Joint Conference, ICETE 2014, Vienna, Austria, August 28-30, 2014, Revised Selected Papers. 554:294-318

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: A Framework for Analyzing Verifiability in Traditional and Electronic Exams
Autorzy:: Dreier, Jannik
Giustolisi, Rosario
Kassem, Ali
Lafourcade, Pascal
Lenzini, Gabriele; Pokaż więcej
Źródło:: Information Security Practice and Experience : 11th International Conference, ISPEC 2015, Beijing, China, May 5-8, 2015, Proceedings. 9065:514-529

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Secure Auctions without Cryptography
Autorzy:: Dreier, Jannik
Jonker, Hugo
Lafourcade, PascalAff20, Aff21; Pokaż więcej
Źródło:: Fun with Algorithms : 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014. Proceedings. 8496:158-170

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Brandt’s Fully Private Auction Protocol Revisited
Autorzy:: Dreier, Jannik
Dumas, Jean-Guillaume
Lafourcade, Pascal; Pokaż więcej
Źródło:: Progress in Cryptology – AFRICACRYPT 2013 : 6th International Conference on Cryptology in Africa, Cairo, Egypt, June 22-24, 2013. Proceedings. 7918:88-106

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: On Unique Decomposition of Processes in the Applied π-Calculus
Autorzy:: Dreier, Jannik
Ene, Cristian
Lafourcade, Pascal
Lakhnech, Yassine; Pokaż więcej
Źródło:: Foundations of Software Science and Computation Structures : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. 7794:50-64

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Formal Verification of e-Auction Protocols
Autorzy:: Dreier, Jannik
Lafourcade, Pascal
Lakhnech, Yassine; Pokaż więcej
Źródło:: Principles of Security and Trust : Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. 7796:247-266

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Defining Privacy for Weighted Votes, Single and Multi-voter Coercion
Autorzy:: Dreier, Jannik
Lafourcade, Pascal
Lakhnech, Yassine; Pokaż więcej
Źródło:: Computer Security – ESORICS 2012 : 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings. 7459:451-468

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Vote-Independence: A Powerful Privacy Notion for Voting Protocols
Autorzy:: Dreier, Jannik
Lafourcade, Pascal
Lakhnech, Yassine; Pokaż więcej
Źródło:: Foundations and Practice of Security : 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers. 6888:164-180

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Verification of stateful cryptographic protocols with exclusive OR.
Autorzy:: Dreier, Jannik (AUTHOR) jannik.dreier@loria.fr
Hirschi, Lucca (AUTHOR)
Radomirović, Saša (AUTHOR)
Sasse, Ralf (AUTHOR); Pokaż więcej
Źródło:: Journal of Computer Security. 2020, Vol. 28 Issue 1, p1-34. 34p.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 17.

Tytuł:: Automatic generation of sources lemmas in Tamarin : Towards automatic proofs of security protocols.
Autorzy:: Cortier, Véronique
Delaune, Stéphanie
Dreier, Jannik
Klein, Elise
Liang, Kaitai
Chen, Liqun
Li, Ninghui
Schneider, Steve; Pokaż więcej
Temat:: SECURITY management
5G networks
INTUITION
Źródło:: Journal of Computer Security; 2022, Vol. 30 Issue 4, p573-598, 26p

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 18.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Brandt's fully private auction protocol revisited.
Autorzy:: Dreier, Jannik jannik.dreier@loria.fr
Dumas, Jean-Guillaume
Lafourcade, Pascal; Pokaż więcej
Źródło:: Journal of Computer Security. 2015, Vol. 23 Issue 6, p587-610. 24p.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 20.

Tytuł:: Automatic generation of sources lemmas in Tamarin : Towards automatic proofs of security protocols.
Autorzy:: Cortier, Véronique (AUTHOR)
Delaune, Stéphanie (AUTHOR)
Dreier, Jannik (AUTHOR) jannik.dreier@loria.fr
Klein, Elise (AUTHOR)
Liang, Kaitai (AUTHOR)
Chen, Liqun (AUTHOR)
Li, Ninghui (AUTHOR)
Schneider, Steve (AUTHOR); Pokaż więcej
Źródło:: Journal of Computer Security. 2022, Vol. 30 Issue 4, p573-598. 26p.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Informacja

Wyszukujesz frazę ""Dreier, Jannik"" wg kryterium: Autor

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język

Rok publikacji