3 ms·
this idris paper, maybe, or how is security guaranteed? http://www.simonjf.com/writing/bsc-dissertation.pdf http://www.simonjf.com/writing/bsc-dissertation.pdf
by gtani 12y ago
this idris paper, maybe, or how is security guaranteed?
http://www.simonjf.com/writing/bsc-dissertation.pdf http://www.simonjf.com/writing/bsc-dissertation.pdf
quote:
enforce resource usage protocols inherent in
C socket programming, providing safety guarantees,
- peaton 12y agoHmm, I don't believe so. My prof went on about a group at Penn using dependent types to prove the security of server applications. But that is definitely an interesting paper too. Thanks for sharing!