Relevant bibliographies by topics / CryptoVerif

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature on the topic 'CryptoVerif'

Author: Grafiati
Published: 4 June 2021
Last updated: 1 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'CryptoVerif.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "CryptoVerif"

1

Hriţcu, Cătălin. "The Joint EasyCrypt-F*-CryptoVerif School 2014." ACM SIGLOG News 2, no. 1 (January 28, 2015): 23–24. http://dx.doi.org/10.1145/2728816.2728822.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Bo Meng. "Computer Aided Verification of Accountability in Electronic Payment Protocol with CryptoVerif." International Journal of Advancements in Computing Technology 3, no. 3 (April 30, 2011): 68–88. http://dx.doi.org/10.4156/ijact.vol3.issue3.7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Meng, Bo. "Automatic Verification of Deniable Authentication Protocol in a Probabilistic Polynomial Calculus with Cryptoverif." Information Technology Journal 10, no. 4 (March 15, 2011): 717–35. http://dx.doi.org/10.3923/itj.2011.717.735.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Xu, Xingdong, Leyuan Niu, and Bo Meng. "Automatic Verification of Security Properties of OAuth 2.0 Protocol with Cryptoverif in Computational Model." Information Technology Journal 12, no. 12 (June 1, 2013): 2273–85. http://dx.doi.org/10.3923/itj.2013.2273.2285.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bo Meng, and Wei Chen. "Automatic Verification of Coercion-resistance in Remote Internet Voting Protocol with CryptoVerif in Computational Model." International Journal of Digital Content Technology and its Applications 6, no. 8 (May 31, 2012): 384–96. http://dx.doi.org/10.4156/jdcta.vol6.issue8.45.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Bo Meng, Lin Li, and Fei Shao. "Computationally Sound Mechanized Proofs for Electronic Payment Protocol in a Probabilistic Polynomial Calculus with CryptoVerif." International Journal of Digital Content Technology and its Applications 5, no. 3 (March 31, 2011): 67–86. http://dx.doi.org/10.4156/jdcta.vol5.issue3.7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Meng, Bo. "Automatic Formal Framework of Coercion-resistance in Internet Voting Protocols with CryptoVerif in Computational Model." Information Technology Journal 11, no. 7 (June 15, 2012): 741–50. http://dx.doi.org/10.3923/itj.2012.741.750.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Meng, Bo, and Fei Shao. "Mechanized Proof of Resistance of Denial of Service Attacks Based on Events with CryptoVerif in Computational Model." Advanced Science Letters 11, no. 1 (May 30, 2012): 664–67. http://dx.doi.org/10.1166/asl.2012.2958.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Bo Meng, and Wei Chen. "Computer Assisted Proof of Resistance of Denial of Service Attacks in Security Protocols Based on Events with CryptoVerif in Computational Model." International Journal of Digital Content Technology and its Applications 6, no. 3 (February 29, 2012): 109–21. http://dx.doi.org/10.4156/jdcta.vol6.issue3.14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

MOREIRA, FELIPE FERRAZ FIGUEIREDO, JULIANNA FREIRES BARBOSA, JOSÉ RICARDO INACIO RIBEIRO, and VIVIANI PEREIRA ALECRIM. "Checklist and distribution of semiaquatic and aquatic Heteroptera (Gerromorpha and Nepomorpha) occurring in Brazil." Zootaxa 2958, no. 1 (June 8, 2011): 1. http://dx.doi.org/10.11646/zootaxa.2958.1.1.

Full text
Abstract:
Based on published information of about 200 references, 479 species of Gerromorpha and Nepomorpha have been recorded from Brazil and compiled here for the first time. Of these, 105 belong to the family Veliidae. Families Gerridae, Belostomatidae, Corixidae, Naucoridae, Nepidae, and Notonectidae contain between 44 and 61 species each. Because of their apparent inherent lower diversity or difficulty of collection and/or study, other families present at most 21 species. Of the recorded species, 47% occur solely in Brazil, 44% in Brazil and other South American countries, 7% are more distributed along the Neotropical Region, and only 2% are widely distributed in Americas. Species records from Brazil are more concentrated in the North and Southeast regions, and on Amazonas, Pará, Minas Gerais, and Rio de Janeiro states, not alone due to environmental conditions, but also because of historical factors. A high number of endemic species of Rhagovelia, Limnocoris, and Ranatra is found in the Southeast and South regions. Other groups are exclusive or more diverse in the Amazon Region, such as Lathriobatoides, Bacillometra, Cryptovelia, Darwinivelia, Euvelia, Stridulivelia, and Weberiella.
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "CryptoVerif"

1

Farina, Gian Pietro. "Dimostrazione automatica di risultati classici della crittografia computazionale." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2010. http://amslaurea.unibo.it/1211/.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Baccolini, Giulia. "Sulla Sicurezza di Alcuni Protocolli per il Voto Crittografico." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amslaurea.unibo.it/13268/.

Full text
Abstract:
Questo lavoro ha come obiettivo la dimostrazione rigorosa e formale della sicurezza del protocollo di voto elettronico Minivoting (nella sua versione più semplice), nel modello computazionale. Dopo aver introdotto il modello computazionale e le primitive crittografiche nonché gli schemi su cui si basa Minivoting, vengono presentati i due dimostratori usati, CryptoVerif ed EasyCrypt, rispettivamente automatico e semiautomatico. Infine, viene descritto il protocollo Minivoting e data una dimostrazione sperimentale della sua sicurezza prima sfruttando CryptoVerif, poi mediante EasyCrypt.
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "CryptoVerif"

1

Renfrow, Jan. Cryptoverse! Jan Renfrow, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "CryptoVerif"

1

Zhang, Jinli, Jintian Lu, Zhongyu Wan, Jing Li, and Bo Meng. "Security Analysis of OpenID Connect Protocol with Cryptoverif in the Computational Model." In Advances on P2P, Parallel, Grid, Cloud and Internet Computing, 925–34. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-49109-7_90.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "CryptoVerif"

1

Blanchet, Bruno. "Composition Theorems for CryptoVerif and Application to TLS 1.3." In 2018 IEEE 31st Computer Security Foundations Symposium (CSF). IEEE, 2018. http://dx.doi.org/10.1109/csf.2018.00009.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography