March 2023

Table of Contents - PeerJ Computer Science

Sorted by downloads
  • Publication date
  • Downloads
  • Pageviews
Comp Sci
  • PeerJ - Medicine articles
  • PeerJ - Biology & Life science articles
  • PeerJ - General bio (stats, legal, policy, edu)
  • PeerJ Computer Science
  • PeerJ Preprints
software-engineering cryptography theory-and-formal-methods
Login to save + alerts
March 31, 2023
Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores
Duong Dinh Tran, Thet Wai Mon, Kazuhiro Ogata
https://doi.org/10.7717/peerj-cs.1284
  • ← Previous
  • 1
  • Next →

Archives - Computer Science

software-engineering cryptography theory-and-formal-methods
2023
  • September 1
  • August 0
  • July 0
  • June 0
  • May 0
  • April 0
  • March 1

Filter on subjects this month

  • cryptography 1
  • security-and-privacy 1
  • software-engineering 1
  • theory-and-formal-methods 1
I told my colleagues that PeerJ is a journal where they need to publish if they want their paper to be published quickly and with the strict peer review expected from a good journal.
Sohath Vanegas,
PeerJ Author
View author feedback