Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info]computer science [cs] 5 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 4 Treffer
- coq proof assistant 3 Treffer
- program analysis 3 Treffer
- verified compilation 3 Treffer
-
17 weitere Werte:
- compartmentalization 2 Treffer
- coq 2 Treffer
- formal verification 2 Treffer
- isolation 2 Treffer
- memory safety 2 Treffer
- metadata 2 Treffer
- refinement 2 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 1 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs/f.3.1.5: specification techniques 1 Treffer
- acm: k.: computing milieux/k.6: management of computing and information systems/k.6.5: security and protection 1 Treffer
- control-flow integrity 1 Treffer
- cryptography 1 Treffer
- least privilege 1 Treffer
- low-level code 1 Treffer
- machine-checked proofs 1 Treffer
- refinement types 1 Treffer
- security protocols 1 Treffer
Verlag
Sprache
Geographischer Bezug
9 Treffer
-
In: Computer Security Foundations Symposium ; https://inria.hal.science/hal-01588422 ; Computer Security Foundations Symposium, Aug 2017, Santa-Barbara, United States, 2017Online KonferenzZugriff:
-
In: Computer Security Foundations Symposium ; https://inria.hal.science/hal-01588422 ; Computer Security Foundations Symposium, Aug 2017, Santa-Barbara, United States, 2017Online KonferenzZugriff:
-
In: Computer Security Foundations Symposium ; https://hal.inria.fr/hal-01588422 ; Computer Security Foundations Symposium, Aug 2017, Santa-Barbara, United States, 2017Online KonferenzZugriff:
-
In: 2015 IEEE Symposium on Security and Privacy ; https://inria.hal.science/hal-01265666 ; 2015 IEEE Symposium on Security and Privacy, May 2015, San Jose, United States. pp.813 - 830, ⟨10.1109/SP.2015.55⟩, 2015Online KonferenzZugriff:
-
In: 2015 IEEE Symposium on Security and Privacy ; https://hal.inria.fr/hal-01265666 ; 2015 IEEE Symposium on Security and Privacy, May 2015, San Jose, United States. pp.813 - 830, ⟨10.1109/SP.2015.55⟩, 2015Online KonferenzZugriff:
-
In: SP 2023 - 44th IEEE Symposium on Security and Privacy ; https://inria.hal.science/hal-04316042 ; SP 2023 - 44th IEEE Symposium on Security and Privacy, May 2023, San Francisco, United States. pp.2761-2779, ⟨10.1109/SP46215.2023.10179465⟩, 2023Online KonferenzZugriff:
-
In: SP 2023 - 44th IEEE Symposium on Security and Privacy ; https://inria.hal.science/hal-04316042 ; SP 2023 - 44th IEEE Symposium on Security and Privacy, May 2023, San Francisco, United States. pp.2761-2779, ⟨10.1109/SP46215.2023.10179465⟩, 2023Online KonferenzZugriff:
-
In: SP 2023 - 44th IEEE Symposium on Security and Privacy ; https://inria.hal.science/hal-04316042 ; SP 2023 - 44th IEEE Symposium on Security and Privacy, May 2023, San Francisco, United States. pp.2761-2779, ⟨10.1109/SP46215.2023.10179465⟩, 2023Online KonferenzZugriff:
-
In: 18th ACM Conference on Computer and Communications Security ; https://hal.inria.fr/inria-00614372 ; 18th ACM Conference on Computer and Communications Security, Oct 2011, Chicago, United States, 2011Online KonferenzZugriff: