Departamento de Informatica, Universidade do Minho, Portugal;
School of Computing, Blekinge Institute of Technology, Sweden;
Department of Computer Science, University of Bristol, United Kingdom;
Departamento de Informatica, Universidade do Minho, Portugal,DIGARC, Instituto Politecnico do Cavado e do Ave, Portugal;
Departamento de Informatica, Universidade do Minho, Portugal;
机译:SafeGI:类型检查以提高渲染系统实现的正确性
机译:修改Maiorana-MCFarland类型的Bent函数以实现良好的密码学性能和有效实施
机译:修改Maiorana-McFarland类型弯曲功能,以获得良好的加密属性和高效实现
机译:密码库的汇编实现的自动对等检查
机译:关于检查密码协议的正式方法。
机译:使用非交换密码的白盒实现
机译:类型检查密码实施