https://data.archives-ouvertes.fr/author/1307

https://data.archives-ouvertes.fr/author/1307

http://xmlns.com/foaf/0.1/topic_interest Sécurité informatique
http://xmlns.com/foaf/0.1/topic_interest Machine à voter
http://xmlns.com/foaf/0.1/topic_interest Decidability and complexity
http://xmlns.com/foaf/0.1/topic_interest Cryptography
http://xmlns.com/foaf/0.1/topic_interest Security protocols
http://xmlns.com/foaf/0.1/topic_interest Universal Composability
http://xmlns.com/foaf/0.1/topic_interest Probabilistic process equivalences
http://xmlns.com/foaf/0.1/topic_interest Verification
http://xmlns.com/foaf/0.1/topic_interest Automated verification
http://xmlns.com/foaf/0.1/topic_interest Type systems
http://xmlns.com/foaf/0.1/topic_interest Semantics
http://xmlns.com/foaf/0.1/topic_interest Partial-Order Reductions
http://xmlns.com/foaf/0.1/topic_interest Equivalence properties
http://xmlns.com/foaf/0.1/topic_interest Stateful security protocols
http://xmlns.com/foaf/0.1/topic_interest Vote à distance
http://xmlns.com/foaf/0.1/topic_interest Probabilistic programs
http://xmlns.com/foaf/0.1/topic_interest Composition
http://xmlns.com/foaf/0.1/topic_interest Computational analysis
http://xmlns.com/foaf/0.1/topic_interest Symbolic methods
http://xmlns.com/foaf/0.1/topic_interest Computer security
http://xmlns.com/foaf/0.1/topic_interest Finite fields
http://xmlns.com/foaf/0.1/mbox_sha1sum 55a1c2b4f55635fa55fbf4e1fdc9f1e9
http://xmlns.com/foaf/0.1/topic_interest Program equivalence
http://xmlns.com/foaf/0.1/topic_interest Cryptographic protocols
http://xmlns.com/foaf/0.1/topic_interest Cybersecurity
http://xmlns.com/foaf/0.1/topic_interest Symbolic models
http://xmlns.com/foaf/0.1/topic_interest Information security
http://xmlns.com/foaf/0.1/familyName Kremer
http://xmlns.com/foaf/0.1/topic_interest Symmetry
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/topic_interest Protocole sécurité
http://xmlns.com/foaf/0.1/topic_interest Cybersécurité
http://xmlns.com/foaf/0.1/topic_interest Formal methods
http://xmlns.com/foaf/0.1/topic_interest Symbolic verification
http://xmlns.com/foaf/0.1/firstName Steve
http://xmlns.com/foaf/0.1/topic_interest Key management
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/shs.langue
http://xmlns.com/foaf/0.1/topic_interest Internet
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-cc
http://xmlns.com/foaf/0.1/topic_interest Security APIs
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://xmlns.com/foaf/0.1/Person
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/steve-kremer
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-cl
http://xmlns.com/foaf/0.1/topic_interest E-voting
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-cr
http://xmlns.com/foaf/0.1/topic_interest Sécurité des données
http://xmlns.com/foaf/0.1/topic_interest Abstraction
http://xmlns.com/foaf/0.1/topic_interest Cryptographie
http://www.w3.org/2002/07/owl#sameAs 153809027
http://xmlns.com/foaf/0.1/topic_interest Security protocol
http://xmlns.com/foaf/0.1/name Steve Kremer
http://xmlns.com/foaf/0.1/topic_interest Survey
https://aurehal.archives-ouvertes.fr/author/1307

Télécharger au format  
RDF/XML Turtle N3 Json