Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- security protocols 39 Treffer
- verification 28 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 27 Treffer
- formal methods 23 Treffer
- cryptographic protocols 17 Treffer
-
45 weitere Werte:
- [info]computer science [cs] 16 Treffer
- symbolic model 11 Treffer
- cryptography 10 Treffer
- methodes formelles 8 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 7 Treffer
- algebraic properties 7 Treffer
- composition 7 Treffer
- formal verification 7 Treffer
- securite 7 Treffer
- security 7 Treffer
- demonstration automatique 6 Treffer
- protocoles cryptographiques 6 Treffer
- privacy 5 Treffer
- symbolic analysis 5 Treffer
- tool 5 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 4 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 4 Treffer
- [info.info-ne]computer science [cs]/neural and evolutionary computing [cs.ne] 4 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 4 Treffer
- abstraction 4 Treffer
- application programming interface 4 Treffer
- automated deduction 4 Treffer
- computational analysis 4 Treffer
- cryptographie 4 Treffer
- information leakage 4 Treffer
- model-checking 4 Treffer
- protocoles 4 Treffer
- protocols 4 Treffer
- regular languages 4 Treffer
- survey 4 Treffer
- trace equivalence 4 Treffer
- abelian group 3 Treffer
- aka 3 Treffer
- complexity 3 Treffer
- computational model 3 Treffer
- computer security 3 Treffer
- ctl 3 Treffer
- cybersecurite 3 Treffer
- discrete time 3 Treffer
- elliptic curves 3 Treffer
- equational theories 3 Treffer
- expressivity 3 Treffer
- finite fields 3 Treffer
- functional encryption 3 Treffer
- key management 3 Treffer
Verlag
- hal ccsd 326 Treffer
- springer 29 Treffer
- elsevier 26 Treffer
- springer verlag 25 Treffer
- association for computing machinery 22 Treffer
-
16 weitere Werte:
- ieee 21 Treffer
- ios press 12 Treffer
- acm 11 Treffer
- ieee computer society press 4 Treffer
- inria 4 Treffer
- acm press 3 Treffer
- logical methods in computer science association 3 Treffer
- publishing association nordic journal of computing 3 Treffer
- ieee computer society 2 Treffer
- privacy enhancing technologies symposium 2 Treffer
- springer-verlag 2 Treffer
- instytut lacznosci 1 Treffer
- panstwowy instytut badawczy 1 Treffer
- societe pour la science 1 Treffer
- springer berlin heidelberg 1 Treffer
- spv 1 Treffer
Publikation
- issn: 1529-3785 18 Treffer
- issn: 0168-7433 14 Treffer
- issn: 0890-5401 13 Treffer
- issn: 1879-2294 11 Treffer
- issn: 0926-227x 9 Treffer
-
7 weitere Werte:
- issn: 0925-9856 7 Treffer
- sp 2020 - 41st ieee symposium on security and privacy ; https://hal.univ-lorraine.fr/hal-02974993 ; sp 2020 - 41st ieee symposium on security and privacy, may 2020, san francisco / virtual, united states. pp.965-982, ⟨10.1109/sp40000.2020.00028⟩ ; https://www.ieee-security.org/tc/sp2020/index.html 4 Treffer
- esorics ; https://hal.science/hal-02390219 ; esorics, pp.385-405, 2018, ⟨10.1007/978-3-319-99073-6_19⟩ 3 Treffer
- automata, languages and programming, 33rd international colloquium, {icalp} ; https://hal.science/hal-01759947 ; automata, languages and programming, 33rd international colloquium, {icalp}, jul 2006, venise, italy 2 Treffer
- esorics 2018 - 23rd european symposium on research in computer security ; https://inria.hal.science/hal-01900083 ; esorics 2018 - 23rd european symposium on research in computer security, sep 2018, barcelona, spain 2 Treffer
- issn: 2471-2566 2 Treffer
- issn: 0153-4092 1 Treffer
Sprache
Geographischer Bezug
326 Treffer
-
In: https://hal.science/hal-01741172 ; [Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, 2018Online reportZugriff:
-
In: https://hal.science/hal-01741172 ; [Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, 2018Online reportZugriff:
-
In: https://hal.science/hal-01741172 ; [Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, 2018Online reportZugriff:
-
In: https://hal.science/hal-01741172 ; [Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, 2018Online reportZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-01741172 ; [Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, 2018Online reportZugriff:
-
In: https://hal.science/hal-01529966 ; [Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, 2017Online reportZugriff:
-
In: https://hal.science/hal-01529966 ; [Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, 2017Online reportZugriff:
-
In: https://hal.science/hal-01529966 ; [Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, 2017Online reportZugriff:
-
In: https://hal.science/hal-01529966 ; [Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, 2017Online reportZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-01529966 ; [Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, 2017Online reportZugriff:
-
In: https://inria.hal.science/hal-02552287 ; [Research Report] MPI SP; LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, 2020Online reportZugriff:
-
In: https://hal.inria.fr/hal-02552287 ; [Research Report] MPI SP; LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, 2020Online reportZugriff:
-
In: https://hal.inria.fr/hal-03200826 ; [Research Report] LSV-06-13, 2006Online reportZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-03201698 ; [Rapport de recherche] LSV-02-18, 2002Online reportZugriff:
-
In: ACM CCS 2020 ; https://inria.hal.science/hal-02913866 ; ACM CCS 2020, Nov 2020, Orlando, United States. pp.1427-1444, 2020Online KonferenzZugriff:
-
In: 33rd IEEE Computer Security Foundations Symposium ; https://hal.science/hal-02459984 ; 33rd IEEE Computer Security Foundations Symposium, Jun 2020, Boston, United States, 2020Online KonferenzZugriff:
-
In: 33rd IEEE Computer Security Foundations Symposium ; https://hal.science/hal-02459984 ; 33rd IEEE Computer Security Foundations Symposium, Jun 2020, Boston, United States, 2020Online KonferenzZugriff:
-
In: ACM CCS 2020 ; https://inria.hal.science/hal-02913866 ; ACM CCS 2020, Nov 2020, Orlando, United States. pp.1427-1444, 2020Online KonferenzZugriff:
-
In: ACM/IEEE LICS 2020 - 35th Annual Symposium on Logic in Computer Science ; https://inria.hal.science/hal-02961583 ; ACM/IEEE LICS 2020 - 35th Annual Symposium on Logic in Computer Science, Jul 2020, Saarbrücken / Virtual, Germany. pp.155-166, ⟨10.1145/3373718.3394746⟩, 2020Online KonferenzZugriff:
-
In: ACM CCS 2020 ; https://inria.hal.science/hal-02913866 ; ACM CCS 2020, Nov 2020, Orlando, United States. pp.1427-1444, 2020Online KonferenzZugriff: