( en | de | ru )

 

Disambiguation of "Kaashoek, M. Frans"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying Hardware Security Modules with Information-Preserving Refinement.

, , and . OSDI, page 503-519. USENIX Association, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Heribert Franssen

Wolf Fransecky

Ursula Franssen

Udo Franssen

Barbara Fransecky

 

Other publications of authors with the same name

Storage Alternatives for Mobile Computers., , , , , and . OSDI, page 25-37. USENIX Association, (1994)Chord, , , , and . Proceedings of the 2001 conference on Applications, technologies, architectures, and protocols for computer communications - SIGCOMM '01, page 149--160. San Diego, California, United States, (2001)Ksplice: automatic rebootless kernel updates., and . EuroSys, page 187-198. ACM, (2009)The Logical Disk: A New Approach to Improving File Systems., , and . SOSP, page 15-28. ACM, (1993)Operating System Review 27(5).Optimistic Active Messages: Structuring Systems for High-Performance Communication., , , , and . ACM SIGOPS European Workshop, page 23-28. ACM, (1994)Server operating systems., , , and . ACM SIGOPS European Workshop, page 141-148. ACM, (1996)A Comparison of Two Distributed Systems: Amoeba and Sprite., , , and . Computing Systems, 4 (4): 353-384 (1991)VerSum: Verifiable Computations over Large Public Logs., , and . ACM Conference on Computer and Communications Security, page 1304-1316. ACM, (2014)Object Distribution in Orca using Compile-Time and Run-Time Techniques., and . OOPSLA, page 162-177. ACM, (1993)SIGPLAN Notices 28(10) / OOPSLA'93, Addendum to the Proceedings: OOPS Messenger 5(2) April 1994.DPF: Fast, Flexible Message Demultiplexing Using Dynamic Code Generation., and . SIGCOMM, page 53-59. ACM, (1996)