Javascript is disabled in your browser. Please
enable Javascript
to view PeerJ.
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
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
2024
November
2
October
4
September
3
August
6
July
4
June
3
May
3
April
1
March
2
February
5
January
4
2023
November
7
October
3
September
5
August
3
July
4
June
2
May
1
April
0
March
1
February
4
2022
December
2
November
1
October
2
September
3
August
1
July
2
June
0
May
3
April
2
March
5
February
4
January
8
2021
December
1
November
2
October
2
September
1
August
2
July
5
June
3
May
6
April
6
March
1
February
4
2020
September
3
August
1
July
0
June
0
May
1
2019
December
3
November
1
October
2
September
1
August
2
July
2
June
0
May
1
April
1
March
0
February
4
January
1
2018
September
1
August
0
July
0
June
0
May
0
April
1
March
0
February
1
2017
November
1
October
3
September
1
August
0
July
0
June
0
May
2
April
0
March
0
February
0
January
1
2016
December
1
November
0
October
1
September
2
August
1
July
1
June
1
May
1
April
0
March
2
February
0
January
1
2015
November
1
October
1
September
0
August
2
July
2
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