Javascript is disabled in your browser. Please
enable Javascript
to view PeerJ.
September 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
security-and-privacy
software-engineering
Login to save + alerts
September 19, 2023
DAFuzz: data-aware fuzzing of in-memory data stores
Yingpei Zeng
,
Fengming Zhu
,
Siyi Zhang
,
Yu Yang
,
Siyu Yi
,
Yufan Pan
,
Guojie Xie
,
Ting Wu
https://doi.org/10.7717/peerj-cs.1592
September 19, 2023
Modelling and verification of post-quantum key encapsulation mechanisms using Maude
Víctor García
,
Santiago Escobar
,
Kazuhiro Ogata
,
Sedat Akleylek
,
Ayoub Otmani
https://doi.org/10.7717/peerj-cs.1547
September 22, 2023
Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version
Duong Dinh Tran
,
Canh Minh Do
,
Santiago Escobar
,
Kazuhiro Ogata
https://doi.org/10.7717/peerj-cs.1556
← Previous
1
Next →
Archives - Computer Science
security-and-privacy
software-engineering
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
2
data-science
1
databases
1
quantum-computing
1
security-and-privacy
3
software-engineering
3
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
