References of "Lafourcade, Pascal"
     in
Bookmark and Share    
Full Text
See detailLes NFT en 40 questions: Des réponses claires et détaillées pour comprendre les Non Fungible Tokens
Dumas, Jean-Guillaume; Lafourcade, Pascal; Roudeix, Etienne et al

Book published by Dunod - 1st (2022)

Apparus en 2017, les jetons non fongibles ont généré en 2021 plusieurs millions d’euros et impacté de nombreux domaines allant de la mode aux paris hippique en passant par l’art et le sport. L’objectif de ... [more ▼]

Apparus en 2017, les jetons non fongibles ont généré en 2021 plusieurs millions d’euros et impacté de nombreux domaines allant de la mode aux paris hippique en passant par l’art et le sport. L’objectif de ce livre est d’expliquer comment fonctionnent les NFT et de présenter simplement leurs caractéristiques spécifiques. Ce livre est conçu pour répondre non seulement aux questions que vous vous posez sur l’univers des NFT… mais aussi à celles que vous ne vous étiez pas encore posées. Qu’est-ce qu’un contrat intelligent ? Quel a été le premier NFT ? Quels sont les jetons fongibles et non fongibles ? Comment les NFT révolutionnent-ils les titres de propriété ? Que peut-on acheter ou vendre grâce aux NFT ? Comment les NFT sont-ils utilisés dans l’art ? Qu’est-ce que le norme ERC-721 pour les NFT sur Ethereum ? Les réponses à toutes ces questions (et à 33 autres) sont dans ce livre. [less ▲]

Detailed reference viewed: 414 (3 UL)
Full Text
See detailLes blockchains en 50 questions
Dumas, Jean-Guillaume; Lafourcade, Pascal; Tichit, Ariane et al

Book published by Dunod - 2eme edition (2022)

La création du bitcoin en 2009 est remarquable à plus d’un titre, tout d’abord parce qu’elle repose sur le mécanisme novateur de la blockchain qui permet d’enregistrer de manière distribuée des ... [more ▼]

La création du bitcoin en 2009 est remarquable à plus d’un titre, tout d’abord parce qu’elle repose sur le mécanisme novateur de la blockchain qui permet d’enregistrer de manière distribuée des informations de façon irréversible et vérifiable par tout le monde. Aujourd’hui les blockchains ne se limitent plus aux cryptomonnaies, et touchent de nombreux autres domaines (contrats intelligents, NFT…). Ce livre est conçu pour répondre non seulement aux questions que vous vous posez sur l’univers des blockchains… mais aussi à celles que vous ne vous étiez pas encore posées. Qu’est-ce qu’une blockchain ? Quel est le lien entre le bitcoin et les blockchains ? Qui sont les mineurs et que font-ils ? Qu’est-ce qu’un consensus ? Qu’est-ce qu’un contrat intelligent ? Peut-on faire une blockchain sans bloc ? Quelle est la part des cryptomonnaies dans l’économie mondiale ? Comment les blockchains vont-elles révolutionner le monde ? Les réponses à toutes ces questions (et à 42 autres) sont dans ce livre. [less ▲]

Detailed reference viewed: 226 (2 UL)
Full Text
Peer Reviewed
See detailFormal Security Analysis of Traditional and Electronic Exams
Dreier, Jannik; Giustosi, Rosario; Kassem, Ali et al

in Communications in Computer and Information Science (2015), 554

Nowadays, students can be assessed not only by means of pencil-and-paper tests but also by electronic exams which they take in examination centers or even from home. Electronic exams are appealing as they ... [more ▼]

Nowadays, students can be assessed not only by means of pencil-and-paper tests but also by electronic exams which they take in examination centers or even from home. Electronic exams are appealing as they can reach larger audiences, but they are exposed to new threats that can potentially ruin the whole exam business. These threats are amplified by two issues: the lack of understanding of what security means for electronic exams (except the old concern about students cheating), and the absence of tools to verify whether an exam process is secure. This paper addresses both issues by introducing a formal description of several fundamental authentication and privacy properties, and by establishing the first theoretical framework for an automatic analysis of exam security. It uses the applied π-calculus as a framework and ProVerif as a tool. Three exam protocols are checked in depth: two Internet exam protocols of recent design, and the pencil-and-paper exam used by the University of Grenoble. The analysis highlights several weaknesses. Some invalidate authentication and privacy even when all parties are honest; others show that security depends on the honesty of parties, an often unjustified assumption in modern exams. [less ▲]

Detailed reference viewed: 250 (11 UL)
Full Text
Peer Reviewed
See detailA Framework for Analyzing Verifiability in Traditional and Electronic Exams.
Dreier, Jannik; Giustolisi, Rosario UL; Kassem, Ali et al

in Information Security Practice and Experience 11th International Conference, ISPEC 2015, Beijing, China, May 5-8, 2015 (2015)

Detailed reference viewed: 167 (3 UL)
Full Text
Peer Reviewed
See detailFormal Analysis of Electronic Exams
Dreier, Jannik; Giustolisi, Rosario UL; Kassem, Ali et al

in SECRYPT 2014 - Proceedings of the 11th International Conference on Security and Cryptography, Vienna, Austria, 28-30 August, 2014 (2014)

Detailed reference viewed: 308 (16 UL)
Full Text
See detailOn the verifiability of (electronic) exams
Dreier, Jannik; Giustolisi, Rosario; Kassem, Ali et al

Report (2014)

The main concern for institutions that organize exams is to detect when students cheat. Actually more frauds are possible and even authorities can be dishonest. If institutions wish to keep exams a ... [more ▼]

The main concern for institutions that organize exams is to detect when students cheat. Actually more frauds are possible and even authorities can be dishonest. If institutions wish to keep exams a trustworthy business, anyone and not only the authorities should be allowed to look into an exam’s records and verify the presence or the absence of frauds. In short, exams should be verifiable. However, what verifiability means for exams is unclear and no tool to analyze an exam’s verifiability is available. In this paper we address both issues: we formalize several individual and universal verifiability properties for traditional and electronic exams, so proposing a set of verifiability properties and clarifying their meaning, then we implement our framework in ProVerif, so making it a tool to analyze exam verifiability. We validate our framework by analyzing the verifiability of two existing exam systems – an electronic and a paper-and-pencil system. [less ▲]

Detailed reference viewed: 157 (3 UL)
Full Text
Peer Reviewed
See detailVerifiability in e-Auction protocols & Brandt's protocol revisited
Dreier, Jannik; Dumas, G.J.; Jonker, Hugo UL et al

Scientific Conference (2013)

Detailed reference viewed: 44 (0 UL)
Full Text
Peer Reviewed
See detailDefining Verifiability in e-Auction Protocols
Dreier, Jannik; Jonker, Hugo UL; Lafourcade, Pascal

in Proc. 8th ACM Symposium on Information, Computer and Communications Security (ASIACCS 2013) (2013)

Detailed reference viewed: 91 (0 UL)