克里斯蒂安·斯卡尔卡
人员信息
优化列表
2020年-今天
2022 [公元27年] 蒂莫西·史蒂文斯 , 克里斯蒂安·斯卡尔卡 , 克里斯蒂尔·文森特 , 约翰·林格 , 塞缪尔·克拉克 , 约瑟夫·P·奈尔 :
通过带错误学习的硬度实现联合学习的高效差分私有安全聚合。 USENIX安全研讨会 2022 : 1379-1395 [i3] 蒂莫西·史蒂文斯 , 约瑟夫·P·奈尔 , 克里斯蒂安·斯卡尔卡 :
用于高度可扩展安全聚合的秘密共享。 CoRR公司 abs/2201.00864 ( 2022 ) 2021 [i2] 蒂莫西·史蒂文斯 , 克里斯蒂安·斯卡尔卡 , 克里斯蒂尔·文森特 , 约翰·林 , 塞缪尔·克拉克 , 约瑟夫·P·奈尔 :
通过错误学习的困难性为联合学习提供高效的差异私有安全聚合。 CoRR公司 abs/2112.06872 ( 2021 ) 2020 [公元12年] 克里斯蒂安·斯卡尔卡 , 塞珀尔·阿米尔·穆罕默德(Sepehr Amir-Mhammadian) , 塞缪尔·克拉克 :
可能是受污染的数据:理论和案例研究。 J.计算。 安全。 28 ( 三 ) : 295-335 ( 2020 ) [公元26年] 克里斯蒂安·斯卡尔卡 , 大卫·达赖 , 特伦特·杰格 , 弗兰克·卡波比安科 :
授权挂钩建议的类型和抽象解释。 CSF公司 2020 : 139-152
2010 – 2019
2019 [公元25年] 克里斯蒂安·斯卡尔卡 , 约翰·林格 , 大卫·达赖 , Minseok Kwon公司 , 萨希尔·古普塔 , 凯尔·迪勒 , 斯特芬·斯莫尔卡 , 内特·福斯特 :
防携带网络代码。 CCS系统 2019 : 1115-1129 2017 [公元24年] 什鲁塔什巴苏 , 内特·福斯特 , 侯赛因·霍贾特 , 帕帕拉奥·帕拉查拉 , 克里斯蒂安·斯卡尔卡 , 西王 :
边缘生活:将策略分解为配置。 ANCS公司 2017 : 178-190 【c23】 朱塞佩·佩特拉卡 , 弗兰克·卡波比安科 , 克里斯蒂安·斯卡尔卡 , 特伦特·杰格 :
访问控制执行中的风险。 SACMAT公司 2017 : 31-42 [公元22年] 弗兰克·卡波比安科 , 克里斯蒂安·斯卡尔卡 , 特伦特·杰格 :
ACCESSPROV:跟踪访问控制决策的起源。 TaPP公司 2017 [i1] 萨姆·克里格曼 , 马金·苏伯特 , 乔什·邦加德 , 克里斯蒂安·斯卡尔卡 :
用于区域建模的卫星图像演变空间聚集特征。 CoRR公司 abs/1706.07888 ( 2017 ) 2016 【c21】 塞珀尔·阿米尔·穆罕默德(Sepehr Amir-Mhammadian) , 克里斯蒂安·斯卡尔卡 :
深入实施动态完整性污染分析。 CCS的PLAS 2016 : 43-56 [公元20年] 塞珀尔·阿米尔·穆罕默德(Sepehr Amir-Mhammadian) , 斯蒂芬·庄(Stephen Chong) , 克里斯蒂安·斯卡尔卡 :
正确的审计记录:理论与实践。 邮政 2016 : 139-162 [第19条] 萨姆·克里格曼 , 马金·苏伯特 , 乔什·邦加德 , 克里斯蒂安·斯卡尔卡 :
用于区域建模的卫星图像演变空间聚集特征。 PPSN(PPSN) 2016 : 707-716 2015 [公元11年] 斯蒂芬·庄(Stephen Chong) , 克里斯蒂安·斯卡尔卡 , 杰弗里·沃恩 :
合理使用的自我识别数据。 ACM J.数据信息质量。 5 ( 三 ) : 11:1-11:30 ( 2015 ) [第18条] Affon Yousefi Zowj公司 , 乔什·邦加德 , 克里斯蒂安·斯卡尔卡 :
资源约束传感器系统中成本敏感控制的遗传规划方法。 GECCO公司 2015 : 1295-1302 2014 [公元10年] 彼得·查宾 , 克里斯蒂安·斯卡尔卡 :
SpartanRPC:无线传感器网络中的远程过程调用授权。 ACM事务处理。 信息系统。 安全。 17 ( 2 ) : 5:1-5:30 ( 2014 ) 2013 [第17条] 彼得·查宾 , 克里斯蒂安·斯卡尔卡 , 斯科特·史密斯 , 迈克尔·沃森 :
Scalaness/nesT:传感器网络的专用分级编程类型。 GPCE公司 2013 : 135-144 [第16条] 克里斯蒂安·斯卡尔卡 , 杰弗里·弗罗利克 :
雪云:雪水文研究的完整数据采集系统。 真实新闻 2013 : 3-14 2011 [公元9年] 刘大伟(Yu David Liu) , 克里斯蒂安·斯卡尔卡 , 斯科特·史密斯 :
具有进程分离的类型专用分阶段编程。 高。 订购符号。 计算。 24 ( 4 ) : 341-385 ( 2011 ) 2010 [第15条] 斯蒂芬·庄(Stephen Chong) , 克里斯蒂安·斯卡尔卡 , 杰弗里·沃恩 :
自我识别传感器数据。 IPSN网络 2010 : 82-93 [第14条] 彼得·查宾 , 克里斯蒂安·斯卡尔卡 :
SpartanRPC:用于协作域的安全WSN中间件。 MASS(质量) 2010 : 61-70
2000 – 2009
2009 [第13条] 刘大伟(Yu David Liu) , 克里斯蒂安·斯卡尔卡 , 斯科特·史密斯 :
具有进程分离的类型专用分阶段编程。 ICFP的WGP 2009 : 49-60 2008 [j8] 彼得·查宾 , 克里斯蒂安·斯卡尔卡 , 肖扬·肖恩·王 :
信任管理中的授权:特点和基础。 ACM计算。 Surv公司。 40 ( 三 ) : 9:1-9:48 ( 2008 ) [j7] 克里斯蒂安·斯卡尔卡 , 斯科特·史密斯 , 大卫·范·霍恩 :
高阶程序的类型和跟踪效果。 J.功能。 程序。 18 ( 2 ) : 179-249 ( 2008 ) [j6] 克里斯蒂安·斯卡尔卡 :
对象方向的类型和跟踪效果。 高。 订购符号。 计算。 21 ( 三 ) : 239-282 ( 2008 ) 2007 [j5] 克里斯蒂安·斯卡尔卡 , 肖扬·肖恩·王 , 彼得·查宾 :
分布式授权的风险管理。 J.计算。 安全。 15 ( 4 ) : 447-489 ( 2007 ) [第12条] 帕里托什切洛夫 , 克里斯蒂安·斯卡尔卡 , 斯科特·史密斯 :
掘金者:为程序验证提取高阶序。 阿普拉斯 2007 : 2-18 [第11条] 克里斯蒂安·斯卡尔卡 :
为JVM访问控制键入安全的动态链接。 PPDP(PPDP) 2007 : 51-62 2006 【j4】 克里斯蒂安·斯卡尔卡 , 肖扬·肖恩·王 :
信任但验证:web服务的授权。 计算。 系统。 科学。 工程师。 21 ( 5 ) ( 2006 ) [第10条] 杰夫·波拉科 , 克里斯蒂安·斯卡尔卡 :
在LolliMon中指定分布式信任管理。 血浆 2006 : 37-46 2005 [j3] 克里斯蒂安·斯卡尔卡 :
编程语言和系统安全。 IEEE安全。 私人。 三 ( 三 ) : 80-83 ( 2005 ) [注2] 克里斯蒂安·斯卡尔卡 , 斯科特·史密斯 :
基于用途的静态对象限制。 国际J.Inf.Sec。 4 ( 1-2 ) : 87-104 ( 2005 ) [j1] 弗朗索瓦·波蒂埃 , 克里斯蒂安·斯卡尔卡 , 斯科特·史密斯 :
静态访问控制的系统方法。 ACM事务处理。 程序。 语言系统。 27 ( 2 ) : 344-382 ( 2005 ) 【c9】 彼得·查宾 , 克里斯蒂安·斯卡尔卡 , 肖扬·肖恩·王 :
分布式授权中的风险评估。 FMSE公司 2005 : 33-42 【c8】 克里斯蒂安·斯卡尔卡 :
跟踪效果和对象方向。 PPDP(PPDP) 2005 : 139-150 【c7】 克里斯蒂安·斯卡尔卡 , 斯科特·史密斯 , 大卫·范·霍恩 :
Java灵活抽象解释的类型和效果系统:(扩展抽象)。 AIOOL@VMCAI 2005 : 111-124 2004 【c6】 克里斯蒂安·斯卡尔卡 , 斯科特·史密斯 :
历史效果和验证。 阿普拉斯 2004 : 107-128 【c5】 克里斯蒂安·斯卡尔卡 , 肖扬·肖恩·王 :
信任但验证:对web服务的授权。 SWS公司 2004 : 47-55 2002 【c4】 克里斯蒂安·斯卡尔卡 , 弗朗索瓦·波蒂埃 :
HM(X)的句法类型健全性。 提示@MPC 2002 : 61-74 【c3】 克里斯蒂安·斯卡尔卡 , 斯科特·史密斯 :
设置类型和应用程序。 提示@MPC 2002 : 75-94 2001 【c2】 弗朗索瓦·波蒂埃 , 克里斯蒂安·斯卡尔卡 , 斯科特·史密斯 :
静态访问控制的系统方法。 员工持股计划 2001 : 30-45 2000 【c1】 克里斯蒂安·斯卡尔卡 , 斯科特·史密斯 :
使用类型静态强制执行安全性。 ICFP公司 2000 : 34-45