About: Machine-Checked Proofs of Privacy for Electronic Voting Protocols

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Machine-Checked Proofs of Privacy for Electronic Voting Protocols Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : data.idref.fr associated with source document(s)

Attributes	Values
Author	Dupressoir, François (19..-....) Strub, Pierre-Yves (1979-....) Cortier, Véronique (19..-.... ; informaticienne) Warinschi, Bogdan (19..-....)
Bibliographic Citation	Cortier Véronique, Dragan Catalin, Dupressoir François, Schmidt Benedikt, Strub Pierre-Yves, Warinschi Bogdan. Machine-Checked Proofs of Privacy for Electronic Voting Protocols. 38th IEEE Symposium on Security and Privacy (S&P'17), May 2017, San Jose, United States. pp.993 - 1008, ⟨10.1109/SP.2017.28⟩
Title	Machine-Checked Proofs of Privacy for Electronic Voting Protocols
dc:date	2017
Digital Object Identifier (DOI)	10.1109/SP.2017.28

Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software