Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- 02 engineering and technology 63 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 58 Treffer
- computer science 55 Treffer
- 01 natural sciences 50 Treffer
- 0102 computer and information sciences 50 Treffer
-
45 weitere Werte:
- 010201 computation theory & mathematics 50 Treffer
- security protocols 50 Treffer
- theoretical computer science 49 Treffer
- cryptographic protocol 45 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 39 Treffer
- verification 39 Treffer
- formal methods 38 Treffer
- 020201 artificial intelligence & image processing 33 Treffer
- business 27 Treffer
- business.industry 27 Treffer
- computer 25 Treffer
- computingmilieux_miscellaneous 25 Treffer
- computer.software_genre 24 Treffer
- 16. peace & justice 23 Treffer
- computer science::cryptography and security 23 Treffer
- cryptographic protocols 23 Treffer
- [info]computer science [cs] 21 Treffer
- computer security 21 Treffer
- cryptography 21 Treffer
- 020206 networking & telecommunications 20 Treffer
- cryptographic primitive 19 Treffer
- mathematics 18 Treffer
- decidability 16 Treffer
- 020207 software engineering 14 Treffer
- formal verification 14 Treffer
- general computer science 13 Treffer
- methodes formelles 13 Treffer
- equivalence (measure theory) 12 Treffer
- encryption 11 Treffer
- software 11 Treffer
- symbolic model 11 Treffer
- [info.info-cr] computer science [cs]/cryptography and security [cs.cr] 10 Treffer
- computational theory and mathematics 10 Treffer
- computer science - cryptography and security 10 Treffer
- cryptography and security (cs.cr) 10 Treffer
- equivalence (formal languages) 10 Treffer
- fos: computer and information sciences 10 Treffer
- secrecy 10 Treffer
- securite 10 Treffer
- security 10 Treffer
- 0211 other engineering and technologies 9 Treffer
- 021110 strategic, defence & security studies 9 Treffer
- algebraic properties 9 Treffer
- anonymity 9 Treffer
- composition 9 Treffer
Verlag
- hal ccsd 399 Treffer
- springer 29 Treffer
- elsevier 26 Treffer
- ieee 25 Treffer
- springer verlag 25 Treffer
-
24 weitere Werte:
- association for computing machinery 22 Treffer
- acm 12 Treffer
- ios press 12 Treffer
- springer berlin heidelberg 8 Treffer
- ieee computer society press 4 Treffer
- inria 4 Treffer
- springer science and business media llc 4 Treffer
- acm press 3 Treffer
- association for computing machinery (acm) 3 Treffer
- elsevier inc. 3 Treffer
- logical methods in computer science association 3 Treffer
- privacy enhancing technologies symposium 3 Treffer
- publishing association nordic journal of computing 3 Treffer
- arxiv 2 Treffer
- ieee computer society 2 Treffer
- springer-verlag 2 Treffer
- elsevier bv 1 Treffer
- elsevier science b.v. 1 Treffer
- instytut lacznosci 1 Treffer
- panstwowy instytut badawczy 1 Treffer
- privacy enhancing technologies symposium advisory board 1 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany 1 Treffer
- societe pour la science 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
-
18 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
- 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 3 Treffer
- information and computation 3 Treffer
- journal of automated reasoning 3 Treffer
- theoretical computer science 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
- issn: 2471-2566 2 Treffer
- 2008 21st ieee computer security foundations symposium 1 Treffer
- 2015 ieee symposium on security and privacy 1 Treffer
- acm transactions on computational logic 1 Treffer
- acm transactions on privacy and security 1 Treffer
- communications of the acm 1 Treffer
- formal methods in system design 1 Treffer
- issn: 0153-4092 1 Treffer
- proceedings of the 2020 acm sigsac conference on computer and communications security 1 Treffer
- proceedings on privacy enhancing technologies 1 Treffer
Sprache
Geographischer Bezug
429 Treffer
-
In: https://hal.science/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://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-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: ISSN: 2471-2566, 2021Online academicJournalZugriff:
-
In: EuroS&P 2019 - IEEE European Symposium on Security and Privacy ; https://inria.hal.science/hal-03155483 ; EuroS&P 2019 - IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden. pp.464-479, ⟨10.1109/EuroSP.2019.00041⟩ ; https://www.ieee-security.org/TC/EuroSP2019/, 2019Online KonferenzZugriff:
-
In: ISSN: 1529-3785, 2020Online academicJournalZugriff:
-
In: ISSN: 2299-0984 ; Proceedings on Privacy Enhancing Technologies ; https://hal.science/hal-02413588 ; Proceedings on Privacy Enhancing Technologies, 2020, 2020Online academicJournalZugriff:
-
In: ESORICS ; https://hal.science/hal-02390219 ; ESORICS, pp.385-405, 2018, ⟨10.1007/978-3-319-99073-6_19⟩; (2018)Online BuchZugriff:
-
In: CCS 2018 - Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security Canada, October 15-19, 2018Online KonferenzZugriff:
-
In: 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, 2018Online KonferenzZugriff:
-
In: ISSN: 0926-227X, 2019Online academicJournalZugriff:
-
In: CSF 2017 - 30th IEEE Computer Security Foundations Symposium ; https://inria.hal.science/hal-01533708 ; CSF 2017 - 30th IEEE Computer Security Foundations Symposium, Aug 2017, Santa Barbara, United States. pp.15, 2017Online KonferenzZugriff: