Guardian: symbolic validation of orderliness in SGX enclaves

This time, on a different note. This is a joint work with Pedro Antonino, Senior Research Scientist at the Blockhouse Technology Limited, and A. W. Roscoe, Professor of Computing Science at Oxford University, Senior Research Fellow in Computer Science at University College Oxford, Director of the University College Oxford Blockchain Research Centre, and Founder and […]

Read More Guardian: symbolic validation of orderliness in SGX enclaves