30 Oct 2024
New article published in the ACM Transactions on Programming Languages and Systems đ @Unitrento_DISI authors: Marco Patrignani
âšī¸ shorturl.at/ESYhw
#universalcomposability #securecompilation #formalmethods
1
112