corpus.blog
41554 blogs · 4,504,310 posts Claim your blog
Record · corpus.blog/posts/01a087ae-37d0-701e-be79-1e16fda21a45

The state of tooling for verifying constant-timeness of cryptographic implementations

neuromancer.sk · published 30 January 2021

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at neuromancer.sk Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
68
Words captured
3,335

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://bearssl.org/constanttime.html
bearssl.org
https://github.com/guidovranken/cryptofuzz
github.com
https://llvm.org/docs/LangRef.html
llvm.org
https://dsprenkels.com/cmov-conversion.html
dsprenkels.com
https://developer.arm.com/documentation/ddi0210/c/Instruction-Cycle-Timings/Multiply-and-multiply-accumulate
developer.arm.com
https://github.com/agl/ctgrind/
github.com
https://github.com/dfaranha/ctgrind
github.com
https://github.com/imdea-software/verifying-constant-time
github.com
https://github.com/michael-emmi/ctverif
github.com
https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/almeida
usenix.org
http://smackers.github.io/
smackers.github.io
https://github.com/michael-emmi/bam-bam-boogieman
github.com
https://github.com/boogie-org/boogie
github.com
https://github.com/boogie-org/corral
github.com
https://github.com/Z3Prover/z3
github.com
https://github.com/awslabs/s2n/tree/main/tests/ctverif
github.com
https://github.com/oreparaz/dudect
github.com
https://eprint.iacr.org/2016/1123
eprint.iacr.org
http://cuda.dcc.ufmg.br/flowtracker/
cuda.dcc.ufmg.br
http://cuda.dcc.ufmg.br/flowtracker/CC16_Brunors.pdf
cuda.dcc.ufmg.br
http://cuda.dcc.ufmg.br/flowtrackervsferrante/install.html
cuda.dcc.ufmg.br
https://link.springer.com/chapter/10.1007/978-3-030-03592-1_12
link.springer.com
https://d1.awsstatic.com/Security/pdfs/SideTrail_Verifying_Time_Balancing_of_Cryptosystems.pdf
d1.awsstatic.com
https://github.com/awslabs/s2n/tree/main/tests/sidetrail
github.com
https://github.com/UzL-ITS/Microwalk
github.com
https://arxiv.org/pdf/1808.05575.pdf
arxiv.org
https://github.com/Fraunhofer-AISEC/DATA
github.com
https://www.usenix.org/system/files/conference/usenixsecurity18/sec18-weiser.pdf
usenix.org
https://www.usenix.org/system/files/sec20-weiser.pdf
usenix.org
https://github.com/plsyssec/fact
github.com
https://ranjitjhala.github.io/static/fact_dsl.pdf
ranjitjhala.github.io
https://github.com/michael-emmi/ct-fuzz
github.com
https://ieeexplore.ieee.org/document/9159066
ieeexplore.ieee.org
https://arxiv.org/pdf/1904.07280.pdf
arxiv.org
https://www.post-apocalyptic-crypto.org/timecop/
post-apocalyptic-crypto.org
https://bench.cr.yp.to/tips.html
bench.cr.yp.to
https://bench.cr.yp.to/supercop.html
bench.cr.yp.to
https://ieeexplore.ieee.org/document/9152766
ieeexplore.ieee.org
https://arxiv.org/pdf/1912.08788v1.pdf
arxiv.org
https://clang.llvm.org/docs/MemorySanitizer.html
clang.llvm.org
https://github.com/PLSysSec/pitchfork-angr
github.com
https://github.com/plsyssec/haybale-pitchfork
github.com
http://web.archive.org/web/20200810074547/http://trust-in-soft.com/tis-ct/
web.archive.org
https://dl.acm.org/doi/10.1145/2660267.2660283
dl.acm.org
https://eprint.iacr.org/2014/422
eprint.iacr.org
https://www.usenix.org/system/files/conference/usenixsecurity17/sec17-wang-shuai.pdf
usenix.org
https://www.usenix.org/system/files/conference/usenixsecurity13/sec13-paper_doychev.pdf
usenix.org
https://www.sciencedirect.com/science/article/pii/S0167642311001857
sciencedirect.com
https://haslab.uminho.pt/jsp/files/11scp.pdf
haslab.uminho.pt
https://link.springer.com/chapter/10.1007/978-3-642-31424-7_40
link.springer.com
https://eprint.iacr.org/2012/034
eprint.iacr.org
https://dl.acm.org/doi/10.1145/3290390
dl.acm.org
https://acmccs.github.io/papers/p1807-almeidaA.pdf
acmccs.github.io
https://dl.acm.org/doi/10.1145/3110261
dl.acm.org
https://dl.acm.org/doi/10.1145/3213846.3213851
dl.acm.org
https://meng-wu.github.io/file/WuGSW18.pdf
meng-wu.github.io
https://www.usenix.org/system/files/conference/usenixsecurity17/sec17-bond.pdf
usenix.org
https://link.springer.com/chapter/10.1007/978-3-319-66402-6_16
link.springer.com
https://hal.inria.fr/hal-01588444/document
hal.inria.fr
https://dl.acm.org/doi/10.1145/3062341.3062378
dl.acm.org
https://www.cs.stevens.edu/~ejk/papers/blazer.pdf
cs.stevens.edu
https://dl.acm.org/doi/10.1145/3133956.3134058
dl.acm.org
https://www.cs.utexas.edu/~isil/ccs17.pdf
cs.utexas.edu
https://dl.acm.org/doi/10.1145/3213846.3213867
dl.acm.org
https://www.comp.nus.edu.sg/~abhik/pdf/TCAD18.pdf
comp.nus.edu.sg
http://www.cse.chalmers.se/~musard/research/pubs/CSF_BDLG12.pdf
cse.chalmers.se
https://download.vusec.net/papers/constantine_ccs21.pdf
download.vusec.net
https://crocs-muni.github.io/ct-tools/
crocs-muni.github.io