汤姆·乔西亚
人员信息
优化列表
2020年–今天
2023 [公元62年] 阿卜杜拉·阿尔多塞里 , 汤姆·乔西亚 , 何塞·莫雷拉 , 大卫·F·奥斯瓦尔德 :
Android设备和应用程序完整性远程认证协议的符号建模。 亚洲CCS 2023 : 218-231 2022 [第61条] 克里斯·麦克马洪·斯通 , 萨姆·L·托马斯 , 马西·范霍夫 , 詹姆斯·亨德森 , 尼古拉斯·贝利特 , 汤姆·乔西亚 :
你看得越仔细,学到的就越多:协议状态机学习的灰盒方法。 CCS系统 2022 : 2265-2278 [公元60年] 安德烈亚·伊娜·拉杜 , 汤姆·乔西亚 , 克里斯托弗·J·P·牛顿 , Ioana Boureanu公司 , 李群·陈 :
实用EMV继电器保护。 服务提供商 2022 : 1737-1756 2021 [i3] 克里斯·麦克马洪·斯通 , 萨姆·L·托马斯 , 马西·范霍夫 , 詹姆斯·亨德森 , 尼古拉斯·贝利特 , 汤姆·乔西亚 :
你看得越仔细,学到的就越多:协议状态机学习的灰盒方法。 CoRR公司 abs/2106.02623 ( 2021 ) 2020 [公元59年] 理查德·托马斯 , 约瑟夫·加德纳 , 汤姆·乔西亚 , 埃马努伊尔·萨曼尼 , 约书亚·佩雷特 , 阿韦斯·拉希德 :
如果可以的话抓住我:对CVE发现时间和关键基础设施风险管理的不一致性的深入研究。 CPSIOTSEC@CCS 2020 : 49-60 [公元58年] Ioana Boureanu公司 , 汤姆·乔西亚 , 亚历山大·戴班特 , 圣埃芬妮·德劳恩 :
抗中继非接触式支付的安全性分析与实现。 CCS系统 2020 : 879-898 [公元57年] 理查德·托马斯 , 汤姆·乔西亚 :
从漏洞中学习-分类、理解和检测工业控制系统中的弱点。 赛博ICPS/SECPRE/ EDIOT@ESORICS公司 2020 : 100-116 [公元56年] 拉吉夫·兰詹·辛格 , 何塞·莫雷拉 , 汤姆·乔西亚 , 马克·德莫特·瑞安 :
802.11 4路握手攻击建模及安全特性分析。 STM公司 2020 : 3-21
2010 – 2019
2019 [j6] 汤姆·乔西亚 , 克里斯·诺瓦科维奇 , 安德烈亚·伊娜·拉杜 , 理查德·托马斯 :
选择你的Pwn冒险:在网络安全入门课程中加入竞争和讲故事。 事务处理。 教育 15 : 141-172 ( 2019 ) [公元55年] 钱格 , 尤瓦尔·亚罗姆 , 汤姆·乔西亚 , 格诺·海泽 :
时间保护:缺失的操作系统抽象。 欧洲系统 2019 : 1:1-1:17 [公元54年] 汤姆·乔西亚 , Ioana Boureanu公司 , 李群·陈 :
短文:使非接触式EMV对与中继攻击者勾结的流氓读者具有鲁棒性。 金融加密 2019 : 222-233 2018 [公元53年] 塞巴斯蒂安·瓦西莱 , 大卫·F·奥斯瓦尔德 , 汤姆·乔西亚 :
打破一切-物联网设备固件提取技术的系统调查。 卡迪斯 2018 : 171-185 [第52条] 克里斯·麦克马洪·斯通 , 汤姆·乔西亚 , 乔里·德鲁伊特 :
扩展802.11 4路握手的自动协议状态学习。 ESORICS(1) 2018 : 325-345 [第51条] 汤姆·乔西亚 , 史蒂芬·伊安·派奥(Stefan-Ioan Paiu) , 迈克尔·乌尔特拉姆 :
网络钓鱼攻击:边做边学。 ASE@USENIX安全研讨会 2018 [公元50年] 汤姆·乔西亚 , 乔里·德鲁伊特 , 本·史密斯 :
距离限制攻击层次的建模与分析。 USENIX安全研讨会 2018 : 1563-1580 [i2] 钱格 , 尤瓦尔·亚罗姆 , 汤姆·乔西亚 , 格诺·海泽 :
时间保护:缺失的操作系统抽象。 CoRR公司 abs/1810.05345 ( 2018 ) 2017 [j5] 穆罕默德·马赫迪·贾古奥里 , 弗兰克·S·德·波尔 , 德尔芬·朗格特 , 汤姆·乔西亚 , 马尔扬·西尔贾尼 :
实时actor-based系统的组合可调度性分析。 信息学报 54 ( 4 ) : 343-378 ( 2017 ) [公元49年] 克里斯·麦克马洪·斯通 , 汤姆·乔西亚 , 弗拉维奥·加西亚 :
微调器:无需主机名验证即可半自动检测固定。 痤疮 2017 : 176-188 [公元48年] 理查德·托马斯 , 米海奥尔丁 , 汤姆·乔西亚 , 乔里·德鲁伊特 :
TRAKS:ERTMS的通用密钥管理方案。 ACSAC公司 2017 : 327-338 [公元47年] 汤姆·乔西亚 , 米海奥尔丁 , 乔里·德鲁伊特 , 理查德·托马斯 :
针对ERTMS列车至轨旁通信协议中的消息认证的攻击。 亚洲CCS 2017 : 743-756 [公元46年] 伊万·加佐 , 汤姆·乔西亚 , 多米尼克·达根 :
云环境中的位置和数据安全类型。 CSF公司 2017 : 376-391 [公元45年] 萨姆·L·托马斯 , 弗拉维奥·D·加西亚 , 汤姆·乔西亚 :
湿度:固件中隐藏功能检测的工具。 DIMVA公司 2017 : 279-300 [公元44年] 萨姆·L·托马斯 , 汤姆·乔西亚 , 弗拉维奥·D·加西亚 :
Stringer:测量静态数据比较对检测后门和未记录功能的重要性。 ESORICS(2) 2017 : 513-531 [c43] 汤姆·乔西亚 , 弗拉维奥·D·加西亚 , 克里斯·赫佩尔 , 克里斯·麦克马洪·斯通 :
为什么银行家Bob(仍然)无法正确使用TLS:英国领先银行应用程序中TLS的安全分析。 金融加密 2017 : 579-597 [公元42年] 纳达·阿鲁海利 , 汤姆·乔西亚 , 贝扎德·博德巴 :
更好地理解机器学习恶意软件错误分类。 ICISSP(修订论文集) 2017 : 35-58 [公元41年] 纳达·阿鲁海利 , 贝扎德·博德巴 , 汤姆·乔西亚 :
了解基于机器学习的恶意软件检测系统的误分类率。 ICISSP公司 2017 : 101-112 [公元40年] 纳达·阿鲁海利 , 卡洛斯·约瑟夫·梅拉·戈麦斯 , 汤姆·乔西亚 , 拉米·巴松 :
通过内省检测云中恶意软件的基于市场的方法。 国际社会理事会 2017 : 722-730 [公元39年] 汤姆·乔西亚 , 萨姆·霍德克罗夫特 , 安德烈亚·伊娜·拉杜 , 理查德·托马斯 :
监狱、英雄还是毒枭? 将网络安全课程变成为期11周的选择自己的冒险故事。 ASE@USENIX安全研讨会 2017 [i1] 伊万·加佐 , 汤姆·乔西亚 , 多米尼克·达根 :
云环境中位置和数据安全的类型。 CoRR公司 abs/1706.01742 ( 2017 ) 2016 [公元38年] 吉安尼斯·齐亚库里斯 , 拉米·巴松 , 汤姆·乔西亚 , 布亚 :
在云中应对市场特定攻击。 云 2016 : 35-42 [公元37年] 爱德华·马林 , 戴夫·辛格尔 , 弗拉维奥·D·加西亚 , 汤姆·乔西亚 , 瑞克·威廉姆斯 , 巴特·普雷尼尔 :
关于最新一代植入式心脏除颤器的安全性以及如何保护它们。 ACSAC公司 2016 : 226-236 [公元36年] 吉安尼斯·齐亚库里斯 , 马里奥斯·齐诺诺斯 , 汤姆·乔西亚 , 拉米·巴松 :
以资产为中心的安全感知服务选择。 BigData大会 2016 : 327-332 [公元35年] 乔里·德鲁伊特 , 理查德·托马斯 , 汤姆·乔西亚 :
ERTMS列车到轨旁协议的形式化安全分析。 RSS邮件 2016 : 53-68 [公元34年] 汤姆·乔西亚 , 乔里·德鲁伊特 :
从他人的错误中学习:在课堂上对物联网设备进行渗透测试。 ASE@USENIX安全研讨会 2016 2015 【j4】 汤姆·乔西亚 , 克里斯·诺瓦科维奇 , 拉吉夫·兰詹·辛格 :
计算强制程序的数量完整性和机密性。 国际证券杂志。 柔和。 工程师。 6 ( 2 ) : 23-46 ( 2015 ) [公元33年] 汤姆·乔西亚 , 弗拉维奥·D·加西亚 , 乔里·德鲁伊特 , 乔迪·范登·布雷克尔 , 马修·汤普森 :
非接触EMV支付的中继成本边界。 金融加密 2015 : 189-206 [公元32年] 汤姆·乔西亚 , 本·斯迈思 , 克里斯托弗·斯塔特 :
在ProVerify中自动检查承诺协议,不会发生虚假攻击。 邮政 2015 : 137-155 [公元31年] 纳达·阿尔鲁海利 , 贝扎德·博德巴 , 汤姆·乔西亚 :
基于取证虚拟机的恶意软件检测的移动性算法分析。 TrustCom/BigDataSE/ISPA(1) 2015 : 766-773 2014 [公元30年] 汤姆·乔西亚 , 川本优助 , 克里斯·诺瓦科维奇 :
LeakWatch:估计Java程序的信息泄漏。 ESORICS(2) 2014 : 219-236 [公元29年] 汤姆·乔西亚 , 克里斯·诺瓦科维奇 , 拉吉夫·兰詹·辛格 :
自动计算紧急程序的定量完整性度量。 DPM/SETOP/QASA 2014 : 250-265 2013 [公元28年] 汤姆·乔西亚 , 川本优助 , 克里斯·诺瓦科维奇 :
估计信息泄漏的工具。 CAV汽车 2013 : 690-695 [公元27年] 汤姆·乔西亚 , 川本优助 , 克里斯·诺瓦科维奇 , 大卫·帕克 :
概率点对点信息泄漏。 CSF公司 2013 : 193-205 2012 [公元26年] 杰·杨 , 弗兰·史密斯 , 克里斯托弗·阿特金森 , 肯·波伊纳 , 汤姆·乔西亚 :
SCAIL:一个集成的星际争霸AI系统。 CIG公司 2012 : 438-445 [公元25年] 汤姆·乔西亚 , 马可·科瓦 , 克里斯·诺瓦科维奇 , 卡米洛·冈萨雷斯-托罗 :
无法承受的轻量级监控:BitTorrent中的直接监控。 安全通信 2012 : 185-202 2011 [公元24年] 汤姆·乔西亚 , Apratim Guha公司 :
使用连续互信息对信息泄漏进行统计测试。 CSF公司 2011 : 177-190 2010 【c23】 Myrto Arapinis公司 , 汤姆·乔西亚 , 艾克·里特 , 马克·瑞恩 :
使用应用Pi演算分析不可链接性和匿名性。 CSF公司 2010 : 107-121 [c22] 汤姆·乔西亚 , 维塔利·斯米尔诺夫 :
针对电子护照的可追踪性攻击。 金融加密 2010 : 20-34 【c21】 Konstantinos Chatzikokolakis公司 , 汤姆·乔西亚 , Apratim Guha公司 :
信息泄漏的统计测量。 TACAS公司 2010 : 390-404 [公元20年] 穆罕默德·马赫迪·贾古奥里 , 汤姆·乔西亚 :
用于分析Creol的时间自动机语义。 FOCLASA公司 2010 : 108-122
2000 – 2009
2009 [j3] 穆罕默德·马赫迪·贾古奥里 , 弗兰克·S·德·波尔 , 汤姆·乔西亚 , 马尔扬·西尔贾尼 :
异步实时并发对象的可调度性。 J.日志。 代数方法程序。 78 ( 5 ) : 402-416 ( 2009 ) [第19条] 法哈德·阿巴布 , 汤姆·乔西亚 , 罗伯·范德梅 , 孙萌 , Young-Joo Moon(永珠文) , 克雷蒂恩·弗霍夫 :
从协调到QoS的随机模型。 协调 2009 : 268-287 [c18] 弗兰克·S·德·波尔 , 汤姆·乔西亚 , 穆罕默德·马赫迪·贾古奥里 :
Creol中并发对象的模块可调度性分析。 FSEN公司 2009 : 212-227 [第17条] Myrto Arapinis公司 , 汤姆·乔西亚 , 艾克·里特 , 马克·瑞恩 :
应用π演算中的不可追踪性。 ICITST公司 2009 : 1-6 [第16条] 田团安丁 , 汤姆·乔西亚 , 马克·瑞恩 :
基于P2P的市场的可信基础设施。 对等计算 2009 : 151-154 2008 [第15条] 穆罕默德·马赫迪·贾古奥里 , 德尔芬·朗格特 , 弗兰克·德波尔 , 汤姆·乔西亚 :
实时异步对象的可调度性和兼容性。 RTSS系统 2008 : 70-79 2007 [注2] 汤姆·乔西亚 , 多米尼克·达根 :
能力传递过程。 科学。 计算。 程序。 66 ( 三 ) : 184-204 ( 2007 ) [第14条] 法哈德·阿巴布 , 汤姆·乔西亚 , 孙萌 , Young-Joo Moon(永珠文) :
具有QoS保证的组件连接器。 协调 2007 : 286-304 [第13条] 汤姆·乔西亚 :
在匿名对等文件共享网络中保护伪身份。 安全通信 2007 : 279-282 [第12条] 汤姆·乔西亚 , 彭军(Jun Pang) , 穆罕默德·托拉比·达什蒂 :
在资源感知组件中保密。 QAPL公司 2007 : 79-94 2006 [第11条] 汤姆·乔西亚 :
利用Pi-Calculus分析MUTE匿名文件共享系统。 复地 2006 : 115-130 [第10条] 汤姆·乔西亚 , 西蒙娜·奥尔赞 , 彭军(Jun Pang) , 穆罕默德·托拉比·达什蒂 :
自动检查匿名性的框架 亩 CRL公司。 TGC公司 2006 : 301-318 【c9】 汤姆·乔西亚 , 多米尼克·达根 , 叶武 :
分布式策略语言实现的端到端方法:(扩展摘要)。 ICALP的SecReT 2006 : 3-21 【c8】 汤姆·乔西亚 , 克莱因码头 :
Q-自动机:对并发组件的资源使用进行建模。 FOCLASA公司 2006 : 153-167 2005 【c7】 汤姆·乔西亚 , Konstantinos Chatzikokolakis公司 :
匿名对等文件共享的调查。 EUC研讨会 2005 : 744-755 【c6】 汤姆·乔西亚 , 多米尼克·达根 :
基于类型的分布式访问控制与非类型攻击者。 安全和信任的形式方面 2005 : 203-216 【c5】 汤姆·乔西亚 , 多米尼克·达根 :
能力传递过程。 FOCLASA公司 2005 : 3-23 【c4】 邓玉欣 , 汤姆·乔西亚 , 帕拉米德西卡图西亚 , 彭军(Jun Pang) :
行动标记定量过渡系统的指标。 QAPL公司 2005 : 79-96 2004 [j1] 汤姆·乔西亚 , 多米尼克·达根 :
容错全局计算的抽象。 西奥。 计算。 科学。 322 ( 三 ) : 567-613 ( 2004 ) 2003 【c3】 汤姆·乔西亚 , 多米尼克·达根 , 扬·维泰克 :
基于类型的分布式访问控制。 CSFW公司 2003 : 170- 2001 【c2】 汤姆·乔西亚 , 伊恩·斯塔克 :
将分布式区域和本地通信编码到pi-Calculus中。 EXPRESS(快递) 2001 : 101-119 2000 [c1] 汤姆·乔西亚 , 伊恩·斯塔克 :
具有局部通信区域的分布式Pi-Calculus。 HLCL公司 2000 : 1-16