2017年4月
Nominee, The EASST Award for the Best ETAPS Paper Related to the Systematic and Rigorous Engineering of Software and Systems
European Association for Software Science and Technology
- ,
- ,
- タイトル
- Compositional Synthesis of Leakage Resilient Programs