Maximilian代数
人员信息
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2020年-今天
2023 [j3] 普里扬卡·蒙达尔 , Maximilian代数 , 欧文·阿尔登 :
共识、复制和秘密共享的流限制授权。 J.计算。 安全。 31 ( 5 ) : 615-645 ( 2023 ) 2022 [第12条] 普里扬卡·蒙达尔 , Maximilian代数 , 欧文·阿尔登 :
使用FLAQR安全地应用共识和复制。 CSF公司 2022 : 163-178 [第11条] 巴勃罗·皮卡佐·桑切斯 , Maximilian代数 , 安德烈·萨贝尔菲尔德 :
DeDup.js:通过检测重复发现恶意和易受攻击的扩展。 ICISSP公司 2022 : 528-535 [第10条] 尤利娅·巴斯蒂斯 , Maximilian代数 , 亚历山大·舍斯滕(Alexander Sjösten) , 安德烈·萨贝尔菲尔德 :
SecWasm:WebAssembly的信息流控制。 SAS公司 2022 : 74-103 [i4] 普里扬卡·蒙达尔 , Maximilian代数 , 欧文·阿尔登 :
使用FLAQR安全地应用共识和复制。 CoRR公司 abs/2205.04384 ( 2022 ) 2021 【c9】 Maximilian代数 , 珍妮·菲利佩·伯纳迪 , Catalin Hritcu公司 :
免费的动态IFC定理! CSF公司 2021 : 1-14 [i3] Maximilian代数 , 科马克·弗拉纳根 :
多执行格快速和慢速。 CoRR公司 abs/2103.13667 ( 2021 ) 2020 【c8】 Maximilian代数 , 科马克·弗拉纳根 :
透明的国际金融公司执法:可能性和效率结果。 CSF公司 2020 : 65-78 [i2] Maximilian代数 , 让-菲利普·伯纳迪 , Catalin Hritcu公司 :
免费的动态IFC定理! CoRR公司 abs/2005.04722 ( 2020 ) [i1] Maximilian代数 , 科马克·弗拉纳根 :
透明的国际金融公司执法:可能性和效率结果。 CoRR公司 abs/2005.12345 ( 2020 )
2010 – 2019
2019 [注2] Maximilian代数 , 珍妮·菲利佩·伯纳迪 :
参数的简单不干扰。 程序。 ACM计划。 语言。 三 ( ICFP公司 ) : 89:1-89:22 ( 2019 ) 【c7】 Maximilian代数 , 亚历杭德罗·拉索 , 科马克·弗拉纳根 :
优化分面安全多执行。 CSF公司 2019 : 1-16 2018 【c6】 Maximilian代数 :
依赖核心微积分透视。 CCS的PLAS 2018 : 24-28 【c5】 托马斯·施密茨 , Maximilian代数 , 科马克·弗拉纳根 , 亚历杭德罗·拉索 :
分面安全多执行。 CCS系统 2018 : 1617-1634 【c4】 Maximilian代数 , 帕特里克·詹森 , Sólrún Halla Einarsdóttir先生 , 亚历克斯·格德斯 :
Saint:API-通用类型安全口译员。 全要素生产率 2018 : 94-113 2017 [j1] 尼古拉斯·斯莫尔博内 , 莫阿·约翰逊 , 科恩·克莱森 , 马克西米利安·阿尔杰黑德 :
为忙碌的程序员提供快速规范。 J.功能。 程序。 27 : e18(电子18) ( 2017 ) 【c3】 Maximilian代数 , 亚历杭德罗·拉索 :
在Haskell中编码DCC。 CCS的PLAS 2017 : 77-89 【c2】 Maximilian代数 , 科恩·克莱森 , 莫阿·约翰逊 , 尼古拉斯·斯莫尔博内 :
QuickSpec:程序员的轻量级理论探索工具(系统演示)。 哈斯克尔 2017 : 38-39 【c1】 Maximilian代数 , 帕特里克·詹森 :
VisPar:可视化来自Par Monad的数据流图。 FHPC@ICFP 2017 : 24-29
合著者索引
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)