corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0bbf8-3af6-7181-876d-e4aba7e35307

Reasoning compositionally about security

Murat Demirbas · published 11 December 2017

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 muratbuffalo.blogspot.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
13
Words captured
476

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
http://www.cs.cornell.edu/andru/
cs.cornell.edu
https://andrumyers.wordpress.com/
andrumyers.wordpress.com
https://andrumyers.wordpress.com/2015/10/05/what-i-do/
andrumyers.wordpress.com
https://andrumyers.wordpress.com/2014/12/12/gashlycode-tinies/
andrumyers.wordpress.com
Deserialization considered harmful: the security case for persistent objects Read at the source ↗
andrumyers.wordpress.com
https://en.wiktionary.org/wiki/profess
en.wiktionary.org
https://people.ece.cornell.edu/af433/pdf/ferraiuolo-dac-17.pdf.
people.ece.cornell.edu
http://www.cs.cornell.edu/andru/papers/trustzone/asplos17.pdf
cs.cornell.edu
https://people.csail.mit.edu/rinard/paper/ndss15.droidsafe.pdf
people.csail.mit.edu
https://en.wikipedia.org/wiki/Side-channel_attack
en.wikipedia.org
https://en.wikipedia.org/wiki/Timing_attack
en.wikipedia.org
https://en.wikipedia.org/wiki/Verilog
en.wikipedia.org
http://www.cs.cornell.edu/projects/secverilog/
cs.cornell.edu