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 security-and-privacy
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 security-and-privacy
2024
  • August 1
  • July 0
  • June 0
  • May 0
  • April 0
  • March 1
  • February 1
2023
  • September 3
  • August 0
  • July 1
  • June 0
  • May 0
  • April 0
  • March 1
2022
  • January 2
2021
  • April 1
  • March 0
  • February 2
2020
2019
  • September 1
2018
2017
2016
  • December 1
  • November 0
  • October 0
  • September 0
  • August 0
  • July 0
  • June 0
  • May 0
  • April 0
  • March 0
  • February 0
  • January 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