Norrathep Rattanavipanon公司
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年–今天
2024 [i16] 伊凡·德·奥利维拉·努斯 , 萨希达尔·贾卡姆塞蒂 , Norrathep Rattanavipanon公司 , 基因Tsudik :
在资源受限的物联网设备中实现可远程验证的软件完整性。 CoRR公司 abs/2401.04308 ( 2024 ) 【i15】 Norrathep Rattanavipanon公司 , 伊凡·德·奥利维拉·努斯 :
通过国家执行证明在联合学习和差异隐私中预防中毒。 CoRR公司 abs/2404.06721 ( 2024 ) 2023 [第16条] 伊凡·德·奥利维拉·努斯 , 黄光裕(Seoyeon Hwang) , 萨希达尔·贾卡姆塞蒂 , Norrathep Rattanavipanon公司 , 基因Tsudik :
$\mathcal{P}\text{ARseL}$:在seL4上建立经过验证的信任根。 国际计算机辅助设计协会 2023 : 1-9 [第15条] 亚当·考菲尔德 , Norrathep Rattanavipanon公司 , 伊凡·德·奥利维拉·努斯 :
ACFA:通过主动控制流认证实现安全运行时审核和保证设备修复。 USENIX安全研讨会 2023 : 5827-5844 [第14条] 奇萨努蓬·贾姆舒琴(Chissanupong Jiamsuchon) , Jakapan Suaboot公司 , Norrathep Rattanavipanon公司 :
以对抗性实例探讨攻击泰国LPR系统的可行性。 CoRR公司 abs/2301.05506 ( 2023 ) [i13] 亚当·考菲尔德 , Norrathep Rattanavipanon公司 , 伊凡·德·奥利维拉·努斯 :
ACFA:通过主动控制流认证安全运行时审核和保证设备修复。 CoRR公司 abs/2303.16282 ( 2023 ) [i12] 伊凡·德·奥利维拉·努斯 , Seoyeon Hwang(黄世元) , 萨希达尔·贾卡姆塞蒂 , Norrathep Rattanavipanon公司 , 基因Tsudik :
PARseL:实现对seL4的验证性信任。 CoRR公司 abs/2308.11921 ( 2023 ) 2022 [第14条] 亚当·考尔菲德 , Norrathep Rattanavipanon公司 , 伊凡·德·奥利维拉·努斯 :
ASAP:协调简单嵌入式系统中的异步实时操作和执行证明。 数模转换器 2022 : 721-726 [i11] Norrathep Rattanavipanon公司 , 顿拉帕克蓬诺普拉特 , Hideya Ochiai先生 , Kuljaree Tantayakul公司 , Touchai Angchuan公司 , 辛柴·卡莫尔菲翁 :
检测差异隐私下的异常LAN活动。 CoRR公司 abs/2204.06704 ( 2022 ) [i10] 亚当·考菲尔德 , Norrathep Rattanavipanon公司 , 伊万·德·奥利维拉·努内斯 :
ASAP:协调简单嵌入式系统中的异步实时操作和执行证明。 CoRR公司 abs/2206.02894 ( 2022 ) [第九章] 纳斯林·索拉比 , Norrathep Rattanavipanon公司 , 查希尔·塔里 :
πQLB:一种用于区块链的隐私保护和完整性保证查询语言。 CoRR公司 abs/2212.14141 ( 2022 ) 2021 [第13条] 伊凡·德·奥利维拉·努斯 , 萨希达尔·贾卡姆塞蒂 , Norrathep Rattanavipanon公司 , 基因Tsudik :
远程认证中的TOCTOU问题。 CCS系统 2021 : 2921-2936 2020 [第12条] 卡里姆·埃尔德弗雷 , 迈克尔·洛卡斯特 , Norrathep Rattanavipanon公司 , 哈森·萨伊迪 :
传统加密可执行文件的自动增强和检测。 ACNS(2) 2020 : 364-384 [第11条] 伊万·德·奥利维拉·努内斯 , 卡里姆·埃尔德弗雷 , Norrathep Rattanavipanon公司 , 基因Tsudik :
APEX:一种验证体系结构,用于证明在完全软件泄漏情况下远程设备上的执行。 USENIX安全研讨会 2020 : 771-788 [i8] 卡里姆·埃尔德弗雷 , 迈克尔·洛卡斯特 , Norrathep Rattanavipanon公司 , Hassen Saïdi公司 :
面向旧密码可执行文件的自动增强和检测:扩展版本。 CoRR公司 abs/2004.09713 ( 2020 ) [i7] 伊凡·德·奥利维拉·努斯 , 萨希达尔·贾卡姆塞蒂 , Norrathep Rattanavipanon公司 , 基因Tsudik :
远程认证中的TOCTOU问题。 CoRR公司 abs/2005.03873 ( 2020 )
2010 – 2019
2019 【b1】 Norrathep Rattanavipanon公司 :
安全关键嵌入式和物联网设备的安全远程认证。 美国加州大学欧文分校, 2019 [注2] 泽维尔·卡彭特 , Norrathep Rattanavipanon公司 , 基因Tsudik :
通过自我测量进行远程认证。 ACM事务处理。 设计自动。 选举人。 系统。 24 ( 1 ) : 11:1-11:15 ( 2019 ) [第10条] 伊凡·德·奥利维拉·努斯 , 卡里姆·埃尔德弗雷 , Norrathep Rattanavipanon公司 , 基因Tsudik :
目的:在低端嵌入式系统中使用验证的远程认证来获得更新、重置和擦除的证据。 国际计算机辅助设计协会 2019 : 1-8 【c9】 伊凡·德·奥利维拉·努斯 , 加达·德苏基 , 迈德·易卜拉欣 , Norrathep Rattanavipanon公司 , 艾哈迈德·雷扎·萨德吉 , 基因Tsudik :
集体远程认证协议的系统设计。 ICDCS系统 2019 : 1188-1198 【c8】 伊凡·德·奥利维拉·努斯 , 卡里姆·埃尔德弗雷 , Norrathep Rattanavipanon公司 , 迈克尔·斯坦纳 , 基因Tsudik :
VRASED:用于远程认证的经验证的硬件/软件联合设计。 USENIX安全研讨会 2019 : 1429-1446 [i6] 伊凡·德·奥利维拉·努斯 , 卡里姆·埃尔德弗雷 , Norrathep Rattanavipanon公司 , 基因Tsudik :
全软件泄露下远程设备执行证明的验证体系结构。 CoRR公司 腹肌/1908.02444 ( 2019 ) 2018 [j1] N.阿育王 , 托马斯·尼曼 , Norrathep Rattanavipanon公司 , 艾哈迈德·雷扎·萨德吉 , 基因Tsudik :
保证:真实嵌入式设备的安全软件更新体系结构。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 37 ( 11 ) : 2290-2300 ( 2018 ) 【c7】 泽维尔·卡彭特 , 卡里姆·埃尔德弗雷 , Norrathep Rattanavipanon公司 , 基因Tsudik :
完整性保证计算的时间一致性及其在嵌入式系统安全中的应用。 亚洲CCS 2018 : 313-327 【c6】 泽维尔·卡彭特 , 卡里姆·埃尔德弗雷 , Norrathep Rattanavipanon公司 , 艾哈迈德·雷扎·萨德吉 , 基因Tsudik :
协调简单物联网设备上的远程认证和安全关键操作。 数模转换器 2018 : 90:1-90:6 【c5】 泽维尔·卡彭特 , 基因Tsudik , Norrathep Rattanavipanon公司 :
ERASMUS:通过无人值守设置的自我测量实现高效远程认证。 日期 2018 : 1191-1194 【c4】 泽维尔·卡彭特 , Norrathep Rattanavipanon公司 , 基因Tsudik :
通过SMARM对物联网设备进行远程认证:针对流动恶意软件的混乱测量。 主机 2018 : 9-16 [i5] N.阿育王 , 托马斯·尼曼 , Norrathep Rattanavipanon公司 , 艾哈迈德·雷扎·萨德吉 , 基因Tsudik :
保证:真实嵌入式设备的安全软件更新架构。 CoRR公司 腹肌/1807.05002 ( 2018 ) [i4] 卡里姆·埃尔德弗雷 , 伊凡·奥利维拉·努斯 , Norrathep Rattanavipanon公司 , 迈克尔·斯坦纳 , 基因Tsudik :
用于远程认证的正式验证硬件/软件协同设计。 CoRR公司 abs/1811.00175 ( 2018 ) 2017 【c3】 泽维尔·卡彭特 , 卡里姆·埃尔·德夫拉维 , Norrathep Rattanavipanon公司 , 基因Tsudik :
轻量级蜂群认证:两个LISA的故事。 亚洲CCS 2017 : 86-100 【c2】 卡里姆·埃尔德弗雷 , Norrathep Rattanavipanon公司 , 基因Tsudik :
利用正式验证的微内核实现混合远程认证:经验教训。 DSN研讨会 2017 : 141-144 [c1] 卡里姆·埃尔德弗雷 , Norrathep Rattanavipanon公司 , 基因Tsudik :
HYDRA:用于远程认证的混合设计(使用正式验证的微内核)。 WISEC公司 2017 : 99-110 [i3] 卡里姆·埃尔德弗雷 , Norrathep Rattanavipanon公司 , 基因Tsudik :
HYDRA:远程认证的混合设计(使用正式验证的微内核)。 CoRR公司 abs/1703.02688 ( 2017 ) [i2] 泽维尔·卡彭特 , Norrathep Rattanavipanon公司 , 基因Tsudik :
ERASMUS:通过无人值守设置的自我测量进行高效的远程认证。 CoRR公司 abs/1707.09043 ( 2017 ) [i1] 泽维尔·卡彭特 , Norrathep Rattanavipanon公司 , 基因Tsudik :
物联网设备对抗流动恶意软件的概率和周到证明。 IACR加密。 电子打印架构。 2017 : 1216 ( 2017 )
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)