停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场地搜索
出版物搜索

问别人

亚历杭德罗·拉索

>主页 >珀森斯

人员信息

附属： 瑞典哥德堡查尔默斯科技大学

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年-今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2024
[i10]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2401-08901
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2401-08901
阿比罗普·萨卡尔,亚历杭德罗·拉索:
HasTEE+：Haskell的机密云计算和分析。 CoRR公司 abs/2401.08901(2024)
2023
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ftpl/VassenaRGRS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ftpl/VassenaRGRS23
马可·瓦塞纳,亚历杭德罗·鲁索,Deepak Garg公司,维尼特·拉贾尼,戴安·斯特凡:
从精细到粗训练的动态信息流控制和返回。已找到。趋势计划。语言。 8(1):1-117(2023)
[公元59年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/haskell/SarkarKRC23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/haskell/SarkarKRC23
阿比罗普·萨卡尔,罗伯特·克鲁克,亚历杭德罗·拉索,科恩·克莱森:
HasTEE：使用Haskell编程可信执行环境。哈斯克尔 2023:72-88
[公元58年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/MistaR23会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/MistaR23
阿古斯汀·米斯塔,亚历杭德罗·拉索:
MUTAGEN：使用穷尽突变进行可靠的覆盖引导、基于属性的测试。 ICST公司 2023:176-187年
[第九章]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2307-13172
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2307-13172
阿比罗普·萨卡尔,罗伯特·克鲁克,亚历杭德罗·拉索,科恩·克莱森:
HasTEE：使用Haskell编程可信执行环境。 CoRR公司 abs/2307.13172(2023)
2022
[i8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2208-13560
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2208-13560
马可·瓦塞纳,亚历杭德罗·拉索,Deepak Garg公司,维尼特·拉贾尼,戴安·斯特凡:
从精细训练到粗训练的动态信息流控制和返回，动态信息流教程。 CoRR公司 abs/2208.13560(2022)
2021
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/toplas/VesgaRG21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/toplas/VesgaRG21
伊丽莎白·洛博·维斯加,亚历杭德罗·拉索,马可·加博阿迪:
一种具有准确性估计的数据隐私编程语言。 ACM事务处理。程序。语言系统。 43(2):6:1-6:42(2021)
[公元57年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/bsci/休斯RS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/bsci/HughesRS21
威廉·休斯,亚历杭德罗·拉索,杰拉尔多·施奈德:
MultiCall:以太坊的事务支持解释器。 BSCI公司 2021:25-35
[公元56年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/haskell/ValliappanRL21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/haskell/ValliappanRL21
纳奇亚潘-瓦利亚潘,亚历杭德罗·拉索,萨姆·林德利:
通过EDSL评估进行实际规范化。哈斯克尔 2021:56-70
2020
[公元55年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ccs/贝尼特斯CR20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ccs/贝尼特斯CR20
塞尔吉奥·贝尼特斯,乔纳森·科根,亚历杭德罗·拉索:
短文：检查字体链。中央控制面板 2020:35-39
[公元54年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/CortinasVR20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/CortinasVR20
卡洛斯·汤姆·科尔蒂尼亚斯,马可·瓦塞纳,亚历杭德罗·拉索:
保护异步异常。 CSF公司 2020:214-229
[公元53年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/haskell/ValliappanKRC20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/haskell/ValliappanKRC20
纳奇亚潘-瓦利亚潘,罗伯特·克鲁克,亚历杭德罗·拉索,科恩·克莱森:
在Haskell中实现安全物联网编程。哈斯克尔@ICFP 2020:136-150
[第52条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/ScocciaAPIFR20会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/ScocciaAPIFR20
吉安·卢卡·斯科西亚,马可·奥蒂利,Patrizio Pelliccione公司,保拉·因弗拉迪,玛泰奥·玛丽亚·菲奥雷,亚历杭德罗·拉索:
嘿，我的数据是我的激活数据以授权用户。 ICSE（近红外） 2020:5-8
[第51条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sfp/MistaR20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sfp/MistaR20
阿古斯汀·米斯塔,亚历杭德罗·拉索:
BinderAnn：一元EDSL源注释的自动具体化。全要素生产率 2020:25-46
[公元50年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sp/VesgaRG20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sp/VesgaRG20
伊丽莎白·洛博·维斯加,亚历杭德罗·鲁索,马可·加博阿迪:
具有准确度集中度界限的差异隐私编程框架。服务提供商 2020:411-428

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[j6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/VassenaRGRS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/VassenaRGRS19
马可·瓦塞纳,亚历杭德罗·拉索,Deepak Garg公司,维尼特·拉贾尼,戴安·斯特凡:
从细粒度到粗粒度的动态信息流控制和返回。程序。ACM计划。语言。三(POPL公司):76:1-76:31(2019)
[公元49年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/代数RF19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/AlgehedRF19
Maximilian代数,亚历杭德罗·拉索,科马克·弗拉纳根:
优化分面安全多执行。 CSF公司 2019:1-16
[公元48年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/MistaR19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/MistaR19
阿古斯汀·米斯塔,亚历杭德罗·拉索:
生成随机的结构丰富的代数数据类型值。 AST@ICSE公司 2019:48-54
[c47]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/if/MistaR19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/if/MistaR19
阿古斯汀·米斯塔,亚历杭德罗·拉索:
推导合成随机生成器。国际单项体育联合会 2019:11:1-11:12
[c46]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/ValliappanR19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/ValliappanR19
纳奇亚潘-瓦利亚潘,亚历杭德罗·拉索:
Bicartesian闭范畴组合子的指数消去。 PPDP公司 2019:20:1-20:13
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-07918
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-07918
伊丽莎白·洛博·维斯加,亚历杭德罗·拉索,马可·加博阿迪:
具有准确度集中度界限的差异隐私编程框架。 CoRR公司 abs/1909.07918(2019)
2018
[公元45年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ccs/SchmitzAFR18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ccs/SchmitzAFR18
托马斯·施密茨,Maximilian代数,科马克·弗拉纳根,亚历杭德罗·拉索:
分面安全多重执行。 CCS系统 2018:1617-1634
[公元44年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/haskell/MistaRH18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/haskell/MistaRH18
阿古斯汀·米斯塔,亚历杭德罗·拉索,约翰·休斯:
QuickCheck生成器的分支过程。哈斯克尔@ICFP 2018:1-13
[公元43年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/Valliappan MVR18公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/ValliappanMVR18
纳奇亚潘-瓦利亚潘,索莱恩·米利亚兹,伊丽莎白·洛博·维斯加,亚历杭德罗·拉索:
为简单增加多样性。 ISoLA（4） 2018:414-431
[公元42年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 网址：conf/www/NgoBFRRS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/www/NgoBFRSRS18
明戈（Minh Ngo）,娜塔莉娅·别洛娃,科马克·弗拉纳根,塔玛拉·雷兹克,亚历杭德罗·拉索,托马斯·施密茨:
动态信息流控制的更好方面。 WWW（配套卷） 2018:731-739
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1808-01520
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1808-01520
阿古斯汀·米斯塔,亚历杭德罗·拉索,约翰·休斯:
QuickCheck生成器的分支过程。 CoRR公司 abs/1808.01520(2018)
2017
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jcs/GiffinLSTMMR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jcs/GiffinLSTMMR17
丹尼尔·基芬,阿米特·利维,戴安·斯特凡,大卫·特雷,大卫·马齐埃,约翰·米切尔,亚历杭德罗·拉索:
Hails：保护不受信任的web应用程序中的数据隐私。 J.计算。安全。 25(4-5):427-461(2017)
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/StefanMMR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/StefanMMR17
戴安·斯特凡,大卫·马齐埃尔,约翰·米切尔,亚历杭德罗·拉索:
存在异常时的灵活动态信息流控制。 J.功能。程序。 27:e5（电子5）(2017)
[公元41年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ccs/代数R17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ccs/AgehedR17
Maximilian代数,亚历杭德罗·拉索:
在Haskell中编码DCC。 CCS的PLAS 2017:77-89
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ccs/道路BARC17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ccs/WayeBARC17
卢卡斯·韦伊,巴勃罗·别拉斯,欧文·阿尔登,亚历杭德罗·拉索,斯蒂芬·庄（Stephen Chong）:
密钥值存储上的加密安全信息流控制。 CCS系统 2017:1893-1907
[公元39年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/瓦塞纳BR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/WassenaBR17
马可·瓦塞纳,约阿希姆·布雷特纳,亚历杭德罗·拉索:
保护并发懒惰程序以防信息泄漏。 CSF公司 2017:37-52
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1708-08895
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1708-08895
卢卡斯·韦伊,巴勃罗·别拉斯,欧文·阿尔登,亚历杭德罗·拉索,斯蒂芬·庄（Stephen Chong）:
密钥值存储上的加密安全信息流控制。 CoRR公司 abs/1708.08895(2017)
2016
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ccs/VassenaR16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ccs/WassenaR16
马尔科·瓦塞纳,亚历杭德罗·拉索:
信息流控制库的形式化。 CCS的PLAS 2016:15-28
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/TdescoSR16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/TedescoSR16
菲利波·德尔·特德斯科,大卫·桑德斯,亚历杭德罗·鲁索:
容错无干扰。 CSF公司 2016:401-416
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esorics/VassenaBWR16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esorics/VassenaBWR16
马可·瓦塞纳,巴勃罗·别拉斯,卢卡斯·韦伊,亚历杭德罗·拉索:
信息流控制库标签值的灵活操作。 ESORICS（1） 2016:538-557
2015
[公元35年]
- 看法
  - 电子版@usenix.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/照片/HeuleRRS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hotos/HeuleRRS15
Stefan鞋跟,德文·里夫金,亚历杭德罗·拉索,戴安·斯特凡:
浏览器中最危险的代码。热操作系统 2015
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/Russo15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/Russo15
亚历杭德罗·拉索:
功能珍珠：如果其中一个使用Haskell，两个可以保密。 ICFP公司 2015:280至288
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/建筑VR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/BuirasVR15
巴勃罗·别拉斯,迪米特里厄斯病毒性肠炎,亚历杭德罗·拉索:
HLIO：在Haskell中混合静态和动态类型以进行信息流控制。 ICFP公司 2015:289-301
[公元32年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/post/HeuleSYMR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/post/HeuleSYMR15
Stefan鞋跟,戴安·斯特凡,爱德华·Z·杨,约翰·米切尔,亚历杭德罗·拉索:
IFC内部：用动态信息流控制改造语言。邮政 2015:11-31
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/stm/WayeBKCR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/stm/WayeBKCR15
卢卡斯·韦伊,巴勃罗·布伊拉斯,丹·金,斯蒂芬·庄（Stephen Chong）,亚历杭德罗·拉索:
这是我的特权：控制DC标签中的降级。 STM公司 2015:203-219
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/HeuleSYMR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/HeuleSYMR15
Stefan鞋跟,戴安·斯特凡,爱德华·Z·杨,约翰·米切尔,亚历杭德罗·拉索:
IFC内部：用动态信息流控制改造语言（扩展版）。 CoRR公司 abs/1501.04132(2015)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/BuildasSR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BuirasSR15
巴勃罗·别拉斯,戴安·斯特凡,亚历杭德罗·拉索:
关于动态流敏浮动标签系统。 CoRR公司 abs/1507.06189(2015)
2014
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/BuirasSR14配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/BuirasSR14
巴勃罗·别拉斯,戴安·斯特凡,亚历杭德罗·拉索:
关于动态流敏浮动标签系统。 CSF公司 2014:65岁至79岁
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/essos/TedescoRS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/essos/TedescoRS14
菲利波·德尔·特德斯科,亚历杭德罗·鲁索,大卫·桑德斯:
容错无干扰。 ESSO系统 2014:60-76
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/haskell/StefanLRM14型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/haskell/StefanLRM14网址
戴安·斯特凡,阿米特·利维,亚历杭德罗·拉索,大卫·马齐埃尔:
使用LIO构建安全系统（演示）。哈斯克尔 2014:93-94
[公元27年]
- 看法
  - 电子版@usenix.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/osdi/StefanYMRHKM14公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/osdi/StefanYMRHKM14网址
戴安·斯特凡,爱德华·Z·杨,彼得·马尔琴科,亚历杭德罗·拉索,大卫·赫尔曼,布拉德·卡普,大卫·马齐埃尔:
通过使用COWL限制JavaScript来保护用户。 OSDI公司 2014:131-146
[电子1]
- 看法
- 出口记录
  dblp键：
  - conf/ecop/2014plas
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecoop/2014plas
亚历杭德罗·拉索,Omer跳闸:
第九届编程语言和安全分析研讨会会议记录，塑料@ECOOP2014年7月29日，瑞典乌普萨拉。 ACM公司 2014，国际标准图书编号978-1-4503-2862-3 [目录]
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/TedescoSR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/TedescoSR14
菲利波·德尔·特德斯科,大卫·桑德斯,亚历杭德罗·拉索:
用于容错非干扰的类型定向编译。 CoRR公司 abs/1410.4917(2014)
2013
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/扎纳里尼JR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/ZanariniJR13
但丁·扎纳里尼,毛罗·贾斯克利奥夫,亚历杭德罗·拉索:
精确执行反应系统的机密性。 CSF公司 2013:18-32岁
[公元25年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esorics/StefanBYLTRM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esorics/StefanBYLTRM13
戴安·斯特凡,巴勃罗·别拉斯,爱德华·Z·杨,阿米特·利维,大卫·特雷,亚历杭德罗·拉索,大卫·马齐埃尔:
使用基于指令的调度消除基于缓存的定时攻击。 ESORICS公司 2013:718-735
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/nordsec/BuirasR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nordsec/BuirasR13
巴勃罗·别拉斯,亚历杭德罗·拉索:
懒惰程序泄露秘密。北欧证券 2013:116-122
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tgc/BuirasLSRM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tgc/BuirasLSRM13
巴勃罗·别拉斯,阿米特·莱维,戴安·斯特凡,亚历杭德罗·拉索,大卫·马齐埃尔:
用于删除并发信息流系统中基于缓存的攻击的库。 TGC公司 2013:199-216年
2012
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/公司/杂志RS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/compsec/MagaziniusRS12
Jonas Magazinius杂志,亚历杭德罗·拉索,安德烈·萨贝尔菲尔德:
动态安全监视器的即时内联。计算。安全。 31(7):827-843(2012)
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/StefanRBLMM12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/StefanRBLMM12
戴安·斯特凡,亚历杭德罗·拉索,巴勃罗·布伊拉斯,阿米特·利维,约翰·米切尔,大卫·马齐埃尔:
解决并发信息流系统中的隐蔽终止和定时通道。 ICFP公司 2012:201-214
【c21】
- 看法
  - 电子版@usenix.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/osdi/GiffinLSTMMR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/osdi/GiffinLSTMMR12
丹尼尔·基芬,阿米特·莱维,戴安·斯特凡,大卫·特雷,大卫·马齐埃尔,约翰·米切尔,亚历杭德罗·拉索:
Hails:保护不受信任的Web应用程序中的数据隐私。 OSDI公司 2012:47-60
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/BelloR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/BelloR12
卢西亚诺·贝洛,亚历杭德罗·拉索:
云计算web应用程序的污染模式。血浆 2012:7
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1207-1457
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1207-1457
戴安·斯特凡,亚历杭德罗·拉索,约翰·米切尔,大卫·马齐埃尔:
异常情况下的灵活动态信息流控制。 CoRR公司 abs/1207.1457(2012)
2011
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ershov/JaskelioffR11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ershov/JaskelioffR11
毛罗·贾斯克利奥夫,亚历杭德罗·拉索:
在Haskell中确保多重执行。埃尔肖夫纪念大会 2011:170-178年
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/haskell/StefanRMM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/haskell/StefanRMM11
戴安·斯特凡,亚历杭德罗·拉索,约翰·米切尔,大卫·马齐埃尔:
Haskell中的灵活动态信息流控制。哈斯克尔 2011:95-106
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/PalkaCRH11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/PalkaCRH11
米歇尔·帕尔卡,科恩·克莱森,亚历杭德罗·拉索,约翰·休斯:
通过生成随机lambda项来测试优化编译器。 AST公司 2011:91-97
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/nordsec/StefanRMM11公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nordsec/StefanRMM11
戴安·斯特凡,亚历杭德罗·拉索,大卫·马齐埃尔,约翰·米切尔:
分离类别标签。北欧证券 2011:第223页至第239页
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/BirgissonRS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/BirgissonRS11
Arnar Birgisson公司,亚历杭德罗·拉索,安德烈·萨贝尔菲尔德:
信息流功能。血浆 2011:5
2010
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tissec/BartheRRS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tissec/BartheRRS10
吉尔斯·巴特,塔玛拉·雷兹克,亚历杭德罗·拉索,安德烈·萨贝尔菲尔德:
通过编译实现多线程程序的安全性。 ACM事务处理。信息系统。安全。 13(三):21时21分至21时32分(2010)
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/俄罗斯S10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/RussoS10
亚历杭德罗·拉索,安德烈·萨贝尔菲尔德:
动态与静态流量敏感安全分析。 CSF公司 2010:186-199
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iciss/BirgissonRS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iciss/BirgissonRS10
Arnar Birgisson公司,亚历杭德罗·拉索,安德烈·萨贝尔菲尔德:
统一信息完整性的各个方面。 ICISS公司 2010:48-65
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/nordsec/TdescoRS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nordsec/TedescoRS10
菲利波·德尔·特德斯科,亚历杭德罗·拉索,大卫·桑德斯:
使用Taint分析实现擦除策略。北欧证券 2010:193-209
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/nordsec/ContiR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nordsec/ContiR10
胡安·何塞·孔蒂,亚历杭德罗·拉索:
Python通过库的Taint模式。北欧证券 2010:210-222
[第10条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sec/杂志RS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sec/MagaziniusRS10
Jonas Magazinius杂志,亚历杭德罗·拉索,安德烈·萨贝尔菲尔德:
动态安全监视器的动态嵌入。秒 2010:173-186
[第1页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/natosec/RussoSL10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/natosec/RussoSL10
亚历杭德罗·拉索,安德烈·萨贝尔菲尔德,李克勤:
恶意和非恶意代码中的隐式流。可靠性和安全性的逻辑和语言 2010:301-322

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlp/RussoS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlp/RussoS09
亚历杭德罗·拉索,安德烈·萨贝尔菲尔德:
在同步状态下确保线程和调度程序之间的交互。 J.日志。代数方法课程。 78(7):593-618(2009)
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/俄罗斯S09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/RussoS09
亚历杭德罗·拉索,安德烈·萨贝尔菲尔德:
保护Web应用程序中的超时指令。 CSF公司 2009:92-106
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ershov/SabelfeldR09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ershov/SabelfeldR09
安德烈·萨贝尔菲尔德,亚历杭德罗·拉索:
从动态到静态再到反向：乘坐过山车的信息流控制研究。埃尔肖夫纪念大会 2009:352-365
【c7】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esorics/RussoSC09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esorics/RussoSC09
亚历杭德罗·拉索,安德烈·萨贝尔菲尔德,安德烈·丘德诺夫:
跟踪动态树结构中的信息流。 ESORICS公司 2009:86-103
2008
【b1】
- 看法
  - 电子版@chalmers.se
  - 没有参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 博士/基础搜索/俄罗斯08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/basesearch/Russo08
亚历杭德罗·拉索:
控制基于计时的隐蔽频道的语言支持。查尔默斯科技大学，瑞典哥德堡，2008
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/haskell/RussoCH08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/haskell/RussoCH08网址
亚历杭德罗·拉索,科恩·克莱森,约翰·休斯:
哈斯克尔轻量级信息流安全库。哈斯克尔 2008:13-24
2007
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/蔡RH07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/TsaiRH07网址
大昌蔡,亚历杭德罗·拉索,约翰·休斯:
Haskell中的安全多线程信息流库。 CSF公司 2007:187-202
【c4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esorics/BartheRRS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esorics/BartheRRS07
吉尔斯·巴特,塔玛拉·雷兹克,亚历杭德罗·拉索,安德烈·萨贝尔菲尔德:
编译多线程程序的安全性。 ESORICS公司 2007:2-18
2006
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/亚洲/俄罗斯HNS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asian/RussoHNS06网址
亚历杭德罗·拉索,约翰·休斯,大卫·A·诺曼,安德烈·萨贝尔菲尔德:
通过转换关闭内部定时通道。亚洲人 2006:120-135
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/俄罗斯S06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/RussoS06
亚历杭德罗·鲁索,安德烈·萨贝尔菲尔德:
确保线程和调度程序之间的交互。 CSFW公司 2006:177-189
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ershov/RussoS06会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ershov/RussoS06
亚历杭德罗·拉索,安德烈·萨贝尔菲尔德:
协同调度下多线程程序的安全性。埃尔肖夫纪念大会 2006:474-480

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。