About: François Dupressoir

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

About: François Dupressoir Goto Sponge NotDistinct Permalink

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

Attributes	Values
type	Person
sameAs	Dupressoir, François (19..-....) Dupressoir, François (19..-....)
Life Event	http://www.idref.fr/194148432/birth
preferred label	Dupressoir, François (19..-....)
name	François Dupressoir
dbpedia-owl:citizenship	http://sws.geonames.org/3017382/
Language	http://lexvo.org/id/iso639-3/fra
Given name	François
familyName	Dupressoir
has biographical i...tion (Deprecated)	Chercheur à IMDEA : Madrid Institutes for Advanced Studies en 2015
gender	male
ORCID iD	0000-0003-3497-3110
Scopus ID	52063129200
is sameAs of	Dupressoir, François (19..-....) Dupressoir, François (19..-....)
is Author of	Strong Non-Interference and Type-Directed Higher-Order Masking Verified Proofs of Higher-Order Masking Machine-Checked Proofs of Privacy for Electronic Voting Protocols Synthesis of Fault Attacks on Cryptographic Implementations Formal Security Proof of CMAC and Its Variants Making RSA–PSS Provably Secure against Non-random Faults Machine-checked proofs for electronic voting: privacy and verifiability for Belenios Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3 Improved parallel mask refreshing algorithms: generic solutions with parametrized non-interference and automated optimizations Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model https://zbmath.org/6461355#id https://zbmath.org/6440365#id
is primary topic of	http://www.idref.fr/194148432
is Opponent of	http://www.sudoc.fr/194151379/id http://www.sudoc.fr/254330711/id

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-2025 OpenLink Software