Explore projects
-
Translation of "A Formal Approach to Secure Speculation" to Isabelle.
Updated -
Updated
-
Performance and Energy consuption study on concurrent programming focused on Transactional Memory.
Updated -
-
-
Updated
Translation of "A Formal Approach to Secure Speculation" to Isabelle.
Performance and Energy consuption study on concurrent programming focused on Transactional Memory.