Currently browsing: Items authored or edited by Francois Dupressoir

1 items in this list.
Generated on Thu Oct 10 14:02:59 2024 BST.

2013To Top

Dupressoir, François Stéphane Pascal (2013). Proving Cryptographic C Programs Secure with General-Purpose Verification Tools. PhD thesis The Open University.

Export

Subscribe to these results

get details to embed this page in another page Embed as feed [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0