亚历山大·卢克斯
人员信息
SPARQL查询
优化列表
2010 – 2019
2014 [j3] 西尔维娅·格雷 , 亚历山大·卢克斯 , 海科·曼特尔 , 延斯·绍尔 :
使用WHAT和WHER-Security正式取消分类。 架构(architecture)。 正式证明 2014 ( 2014 ) [注2] 西尔维娅·格雷 , 亚历山大·卢克斯 , 海科·曼特尔 , 延斯·绍尔 :
强大安全性的形式化。 架构(architecture)。 正式证明 2014 ( 2014 ) 2012 【c4】 亚历山大·卢克斯 , 海科·曼特尔 , 马蒂亚斯·佩纳 :
独立于调度程序的取消分类。 MPC公司 2012 : 25-47 2011 [j1] 亚历山大·卢克斯 , 阿特姆·斯塔罗斯汀 :
Java中用于静态检测定时通道的工具。 J.加密。 工程师。 1 ( 4 ) : 303-313 ( 2011 )
2000 – 2009
2009 【c3】 亚历山大·卢克斯 , 海科·曼特尔 :
使用显式参考点取消分类。 ESORICS公司 2009 : 69-85 2008 【c2】 亚历山大·卢克斯 , 海科·曼特尔 :
谁可以解密?。 安全和信任的形式方面 2008 : 35-49 2007 【c1】 海科·曼特尔 , 亚历山大·雷因哈德 :
控制基于语言的安全性中取消分类的内容和位置。 员工持股计划 2007 : 141-156