亚伦·D·贾加德
人员信息
优化列表
2020年–今天
2023 [公元14年] 亚伦·约翰逊 , 亚伦·D·贾加德 , 保罗·西弗森 :
举重:固定托尔的位置重量。 程序。 Priv.增强技术。 2023 ( 4 ) : 593-612 ( 2023 ) 2020 [j13] 琼·费根鲍姆 , 亚伦·D·贾加德 , 丽贝卡·赖特 :
计算责任:概念和机制。 已找到。 趋势Priv.Secur。 2 ( 4 ) : 247-399 ( 2020 ) [c26] 奥尔加·陈 , 亚伦·D·贾加德 , 凯瑟琳·梅多斯 , 迈克尔·希兰塔 :
NExtSteP:网络隐蔽频道的可扩展测试平台。 中枢神经系统 2020 : 1-9
2010 – 2019
2017 [公元12年] 亚伦·D·贾加德 , 尼尔·卢茨 , 迈克尔·夏皮拉 , 丽贝卡·赖特 :
博弈论和分布式计算边界的动力学。 ACM事务处理。 经济学与计算。 5 ( 三 ) : 15:1-15:20 ( 2017 ) [公元25年] 亚伦·约翰逊 , 罗布·扬森 , 亚伦·D·贾加德 , 琼·费根鲍姆 , 保罗·西弗森 :
避免线人:通过Trust-Aware路径选择提高Tor的安全性。 NDSS公司 2017 [公元24年] 亚伦·D·贾加德 , 保罗·西弗森 :
十字准星中的洋葱:当男人真的 是 出来救你。 WPES@抄送 2017 : 141-151 [i11] 亚伦·D·贾加德 , 保罗·西弗森 :
十字准星中的洋葱:当男人真的想要抓住你的时候。 CoRR公司 abs/1706.10292 ( 2017 ) 2015 [公元11年] 亚伦·D·贾加德 , 亚伦·约翰逊 , 莎拉·科尔特斯 , 保罗·西弗森 , 琼·费根鲍姆 :
《海底联盟:匿名通信、信任、MLAT和海底电缆》,20000篇。 程序。 Priv.增强技术。 2015 ( 1 ) : 4-24 ( 2015 ) [i10] 亚伦·D·贾加德 , 尼尔·卢茨 , 迈克尔·夏皮拉 , 丽贝卡·赖特 :
博弈论和分布式计算边界的动力学。 CoRR公司 abs/1509.02955 ( 2015 ) [第九章] 亚伦·约翰逊 , 罗布·扬森 , 亚伦·D·贾加德 , 琼·费根鲍姆 , 保罗·西弗森 :
避免线人:通过Trust-Aware路径选择提高Tor的安全性。 CoRR公司 abs/1511.05453 ( 2015 ) 2014 [公元10年] 琼·费根鲍姆 , 亚伦·D·贾加德 , 迈克尔·夏皮拉 :
近似隐私:基础和量化。 ACM事务处理。 算法 10 ( 三 ) : 11:1-11:38 ( 2014 ) 【c23】 琼·费根鲍姆 , 亚伦·D·贾加德 , 丽贝卡·赖特 :
问责制的开放系统与封闭系统。 热门SoS 2014 : 4 [公元22年] 亚伦·D·贾加德 , 尼尔·卢茨 , 迈克尔·夏皮拉 , 丽贝卡·赖特 :
自我稳定的解耦动力学。 SAGT公司 2014 : 74-85 【c21】 亚伦·D·贾加德 , 丽贝卡·赖特 :
奇怪的同床共枕:如何以及何时与你的敌人合作。 安全协议研讨会 2014 : 263-267 [i8] 亚伦·D·贾加德 , 尼尔·卢茨 , 迈克尔·夏皮拉 , 丽贝卡·赖特 :
自我稳定的解耦动态。 CoRR公司 abs/1403.5791 ( 2014 ) [i7] 亚伦·D·贾加德 , 亚伦·约翰逊 , 保罗·西弗森 , 琼·费根鲍姆 :
表示网络信任并使用它改进匿名通信。 CoRR公司 abs/1406.3583 ( 2014 ) 2013 [公元9年] 亚历克斯·法布里坎特 , 亚伦·贾加德 , 迈克尔·夏皮拉 :
弱非循环博弈的结构。 理论计算。 系统。 53 ( 1 ) : 107-122 ( 2013 ) [公元20年] 亚伦·D·贾加德 , 斯瓦拉·科帕蒂 , 维杰·拉马钱德兰 , 丽贝卡·赖特 :
网络性能测量探测算法的设计空间。 SIGMETRICS公司 2013 : 105-116 2011 [j8] 安德鲁·巴克斯特 , 亚伦·D·贾加德 :
通过偶数排列避免模式。 电子。 J.库姆。 18 ( 2 ) ( 2011 ) [j7] 迈克尔·巴克斯 , 伊利亚诺·塞韦萨托 , 亚伦·D·贾加德 , 安德烈·斯切德罗夫 , 乔·凯·蔡 :
基本Kerberos和公钥Kerberos的加密安全证明。 国际期刊信息部分。 10 ( 2 ) : 107-134 ( 2011 ) [第19条] 亚伦·D·贾加德 , 迈克尔·夏皮拉 , 丽贝卡·赖特 :
具有自适应启发式的分布式计算。 内部控制系统 2011 : 417-443 [第18条] 琼·费根鲍姆 , 亚伦·D·贾加德 , 丽贝卡·赖特 :
建立正式的问责制模式。 NSPW公司 2011 : 45-56 [第17条] 亚伦·D·贾加德 , 迈克尔·夏皮拉 , 丽贝卡·赖特 :
使用经验法则进行分布式计算。 PODC公司 2011 : 333-334 [第16条] 琼·费根鲍姆 , 詹姆斯·亨德勒 , 亚伦·D·贾加德 , 丹尼尔·韦茨纳 , 丽贝卡·赖特 :
网络生活中的责任和威慑。 网络科学 2011 : 7:1-7:7 [i6] 亚历克斯·法布里坎特 , 亚伦·D·贾加德 , 迈克尔·夏皮拉 :
弱非循环博弈的结构。 CoRR公司 abs/1108.2092 ( 2011 ) 2010 [第15条] 亚伦·D·贾加德 , 凯瑟琳·梅多斯 , 迈克尔·米斯洛夫 , 罗伯托·塞加拉 :
使用任务PIOA推理概率安全性。 ARSPA-WITS公司 2010 : 2-22 [第14条] 亚历克斯·法布里坎特 , 亚伦·D·贾加德 , 迈克尔·夏皮拉 :
关于弱非循环对策的结构。 SAGT公司 2010 : 126-137 [第13条] 琼·费根鲍姆 , 亚伦·D·贾加德 , 迈克尔·夏皮拉 :
近似隐私:基础和量化(扩展抽象)。 欧盟委员会 2010 : 167-178 [i5] 琼·费根鲍姆 , 亚伦·D·贾加德 , 迈克尔·夏皮拉 :
近似隐私:设置问题的PAR。 CoRR公司 abs/1001.3388 ( 2010 )
2000 – 2009
2009 [c12] 亚伦·D·贾加德 , 维杰·拉马钱德兰 , 丽贝卡·赖特 :
通信模型对路由算法收敛的影响。 ICDCS系统 2009 : 58-67 [i4] 亚伦·D·贾加德 , 迈克尔·夏皮拉 , 丽贝卡·赖特 :
走向统一的决策方法:路线、游戏、赛道、共识及其他。 CoRR公司 abs/0910.1585 ( 2009 ) [i3] 琼·费根鲍姆 , 亚伦·D·贾加德 , 迈克尔·夏皮拉 :
近似隐私:基础和量化。 CoRR公司 腹肌/0910.5714 ( 2009 ) 2008 [j6] 伊利亚诺·塞韦萨托 , 亚伦·D·贾加德 , 安德烈·塞德洛夫 , 乔·凯·蔡 , 克里斯托弗·沃尔斯塔德 :
破坏和修复公钥Kerberos。 Inf.计算。 206 ( 2-4 ) : 402-424 ( 2008 ) [第11条] 布鲁诺·布兰切特 , 亚伦·贾加德 , 安德烈·塞德洛夫 , 乔·凯·蔡 :
基本和公钥Kerberos的计算上合理的机械化证明。 亚洲CCS 2008 : 87-99 [第10条] 莎伦·戈德堡 , 沙伊·哈列维 , 亚伦·D·贾加德 , 维杰·拉马钱德兰 , 丽贝卡·赖特 :
合理性和交通吸引力:鼓励在bgp中发布诚实的路径公告。 SIGCOMM公司 2008 : 267-278 2007 [j5] 亚伦·D·贾加德 :
关于分块渐近性质的一个最直观的证明。 随机结构。 算法 31 ( 2 ) : 247-250 ( 2007 ) 2006 【j4】 弗雷德里克·巴特勒 , 伊利亚诺·塞尔维萨托 , 亚伦·D·贾加德 , 安德烈·塞德洛夫 , 克里斯托弗·沃尔斯塔德 :
Kerberos 5的形式化分析。 西奥。 计算。 科学。 367 ( 1-2 ) : 57-87 ( 2006 ) 【c9】 伊利亚诺·塞韦萨托 , 亚伦·D·贾加德 , 安德烈·塞德洛夫 , 乔·凯·蔡 , 克里斯托弗·沃尔斯塔德 :
破坏和修复公钥Kerberos。 亚洲的 2006 : 167-181 【c8】 迈克尔·巴克斯 , 伊利亚诺·塞韦萨托 , 亚伦·D·贾加德 , 安德烈·塞德洛夫 , 蔡崇基 :
基本和公共密钥Kerberos的加密可靠安全证明。 ESORICS公司 2006 : 362-383 【c7】 亚伦·D·贾加德 , 维杰·拉马钱德兰 :
尽管路由偏好不一致,但稳健的路径向量路由。 ICNP公司 2006 : 270-279 [i2] 伊利亚诺·塞韦萨托 , 亚伦·D·贾加德 , 安德烈·塞德洛夫 , 乔·凯·蔡 , 克里斯托弗·沃尔斯塔德 :
破坏和修复公钥Kerberos。 IACR加密。 电子打印架构。 2006 : 9 ( 2006 ) [i1] 迈克尔·巴克斯 , 伊利亚诺·塞韦萨托 , 亚伦·D·贾加德 , 安德烈·塞德洛夫 , 乔·凯·蔡 :
基本和公共密钥Kerberos的加密可靠安全证明。 IACR加密。 电子打印架构。 2006 : 219 ( 2006 ) 2005 [j3] 亚伦·D·贾加德 :
通过对合进行后续遏制。 电子。 J.库姆。 12 ( 2005 ) [注2] 亚伦·D·贾加德 , 维杰·拉马钱德兰 :
面向稳健域间路由协议的设计。 IEEE网络。 19 ( 6 ) : 35-41 ( 2005 ) 【c6】 亚伦·D·贾加德 , 维杰·拉马钱德兰 :
关联路径向量路由的两个形式化模型。 信息通信 2005 : 619-630 【c5】 伊利亚诺·塞韦萨托 , 亚伦·D·贾加德 , 安德烈·塞德洛夫 , 克里斯托弗·沃尔斯塔德 :
指定Kerberos 5跨域身份验证。 WITS系统 2005 : 12-26 2004 【c4】 亚伦·D·贾加德 , 维贾伊·拉马昌德兰 :
基于类的路径向量系统的鲁棒性。 ICNP公司 2004 : 84-93 2003 【c3】 弗雷德里克·巴特勒 , 伊利亚诺·塞韦萨托 , 亚伦·D·贾加德 , 安德烈·塞德洛夫 :
验证Kerberos 5中的机密性和身份验证。 国际空间站 2003 : 1-24 [c2] 蒂莫西·格里芬 , 亚伦·D·贾加德 , 维杰·拉马钱德兰 :
路径向量协议策略语言的设计原则。 SIGCOMM公司 2003 : 61-72 2002 [j1] 亚伦·D·贾加德 :
通过对合进行前缀交换和模式避免。 电子。 J.库姆。 9 ( 2 ) ( 2002 ) 【c1】 弗雷德里克·巴特勒 , 伊利亚诺·塞韦萨托 , 亚伦·D·贾加德 , 安德烈·塞德洛夫 :
使用MSR对Kerberos 5的一些属性进行形式化分析。 CSFW公司 2002 : 175-