3 papers
cs.PL2024
Semantic Logical Relations for Timed Message-Passing Protocols (Extended Version)
Yue Yao, Grant Iraci, Cheng-En Chuang +2
Many of today's message-passing systems not only require messages to be exchanged in a certain order but also to happen at a certain \emph{time} or within a certain \emph{time wind…
cs.PL2023
A Formal Model for Secure Multiparty Computation
Amy Rathore, Marina Blanton, Marco Gaboardi +1
Although Secure Multiparty Computation (SMC) has seen considerable development in recent years, its use is challenging, resulting in complex code which obscures whether the securit…
cs.PL2016
Embedded SML using the MLton compiler
Jeffrey Murphy, Bhargav Shivkumar, Lukasz Ziarek
In this extended abstract we present our current work on leveraging Standard ML for developing embedded and real-time systems. Specifically we detail our experiences in modifying M…