Nik Sultana公司
人员信息
其他同名人员
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年–今天
2024 【j4】 朱涵睿 , 赵俊勇 , Nik Sultana公司 :
用于可配置分布式软件的领域特定语言。 国际期刊网。 计算。 14 ( 1 ) : 40-80 ( 2024 ) 2023 [公元32年] 朱涵睿 , 赵俊勇 , Nik Sultana公司 :
用于可配置分布式软件体系结构的领域特定语言。 IPDPS研讨会 2023 : 335-344 [公元31年] Cyprien Gueyraud公司 , Nik Sultana公司 :
面向网络内语义分析:一个涉及垃圾邮件分类的案例研究。 NOMS公司 2023 : 1-6 2022 [公元30年] Nik Sultana公司 , 朱涵睿 , 柯忠 , 郑志磊 , 毛瑞杰 , Digvijaysinh Chauhan公司 , 斯蒂芬·卡拉斯基略 , 赵俊勇 , 雷氏 , 尼科斯·瓦西拉基斯 , Boon Thau Loo公司 :
实现对特权分离的实际应用程序级支持。 ACSAC公司 2022 : 71-87 [公元29年] 希瓦姆·帕特尔 , 里格登·阿萨桑 , 肯尼思·蒂乔尔 , 迈克尔·H·L·S·王 , 詹姆斯·科沃科夫斯基 , Nik Sultana公司 :
使用P4进行科学计算工作负载的网络内分数计算。 CoNEXT的EuroP4 2022 : 33-38 [公元28年] Nik Sultana公司 :
正在进行的论文:异构可编程网络的实验规划。 DCOSS公司 2022 : 434-437 [公元27年] Nik Sultana公司 , 黛博拉·桑兹 , Vinod Yegneswaran公司 :
在可编程数据平面中进行远程认证的案例。 热网 2022 : 122-129 [公元26年] Nik Sultana公司 :
演示:用于可编程网络教学和研究的机库环境。 ICNP公司 2022 : 1-2 2021 [公元25年] Nik Sultana公司 , 萨基特 , 安德鲁·赵 , Shubhendra Pal Singhal公司 , 迈克尔·卡普兰 , 拉杰什·克里希南 , Boon Thau Loo先生 :
IPC通过声明性接口生成进行演变。 DAI-SNAC@CoNEXT公司 2021 : 17-21 [公元24年] 海娜·纳格达 , 拉凯什·纳格达 , Nik Sultana公司 , Boon Thau Loo公司 :
演示:分解数据平面。 ICDCS系统 2021 : 1095-1097 【c23】 Nik Sultana公司 , 约翰·桑查克 , 汉斯·吉森 , 艾萨克·佩迪西奇 , 韩兆阳 , Nishanth Shyamkumar公司 , 希瓦尼·布拉德 , 安德烈·德洪 , Boon Thau Loo先生 :
飞行计划:P4程序的数据平面分解和放置。 NSDI公司 2021 : 571-592 [公元22年] Nik Sultana公司 :
利用网络内应用程序意识。 SIGCOMM的NAI 2021 : 63-67 【c21】 海娜·纳格达 , 拉凯什·纳格达 , Swapneel Sheth公司 , Nik Sultana公司 , Boon Thau Loo先生 :
FDP:网络教学和演示平台。 SIGCSE公司 2021 : 1376 [i3] 安德烈·德洪 , 汉斯·吉森 , Nik Sultana公司 , 肖元龙 :
卸载中的元级问题:范围界定、组合、开发及其自动化。 CoRR公司 abs/2104.01929 ( 2021 ) 2020 [公元20年] 希娜·纳格达 , 拉凯什·纳格达 , 艾萨克·佩迪西奇 , Nik Sultana公司 , Boon Thau Loo公司 :
FDP:SDN的教学和演示平台。 CoNEXT公司 2020 : 524-525 [第19条] 朱涵睿 , Nik Sultana公司 , Boon Thau Loo先生 :
调试强分区的分布式系统。 IPDPS研讨会 2020 : 538-547
2010 – 2019
2019 [第18条] Nik Sultana公司 :
当我们谈论pcap表达式时,我们谈论的是什么。 CGO的RWDSL 2019 : 2:1-2:9 [第17条] Nik Sultana公司 , 阿查拉·拉奥 , 金子豪 , 帕迪斯·帕沙坎卢 , 朱涵睿 , Vinod Yegneswaran公司 , Boon Thau Loo先生 :
网络服务器的基于跟踪的行为分析。 中国科学院 2019 : 1-5 [第16条] Nik Sultana公司 , Shilpi Bose公司 , Boon Thau Loo先生 :
DoS研究的可扩展评估系统。 通讯录 2019 : 344-351 [第15条] Nik Sultana公司 , 帕迪斯·帕沙坎卢 , 金子豪 , 阿查拉·拉奥 , Boon Thau Loo先生 :
哈希托盘(Hashtray):在可伸缩客户端分类(Scalable Client Classification)上翻表。 感应电动机 2019 : 67-70 2018 [第14条] 汉斯·吉森 , 雷氏 , 约翰·桑查克 , 阿尼鲁德·切鲁里 , Nishanth Prabhu公司 , Nik Sultana公司 , 拉萨·A·康德 , 安东尼·麦考利 , 亚历山大·波利舍 , 安德烈·德洪 , Boon Thau Loo先生 :
网络内计算以拯救故障链路。 网络计算@SIGCOMM 2018 : 1-6 2017 [j3] 尼古拉·比约纳 , 马可·卡尼尼 , Nik Sultana公司 :
2017年网络与编程语言报告。 计算。 Commun公司。 版次。 47 ( 5 ) : 39-41 ( 2017 ) [第13条] 亨利·马克西姆·德莫林 , 塔维什·维迪娅 , 艾萨克·佩迪西奇 , Nik Sultana公司 , 王伯文(Bowen Wang) , 钱靖宇 , 张元凯 , 陈昂(Ang Chen) , 安德烈亚斯·海伯伦 , Boon Thau Loo先生 , 林思轩(Linh Thi Xuan Phan) , 迈卡·谢尔 , 粘土护罩 , 周文超 :
DeDoS平台在数据中心防御非对称DDoS攻击的演示。 SIGCOMM海报和演示 2017 : 71-73 [第12条] Nik Sultana公司 , 救世主加利亚 , 大卫·格里夫斯 , 马金·沃西克 , 乔尼·希普顿 , 理查德·克莱格 , 罗迈 , 彼得罗·布雷萨纳 , 罗伯特·索莱 , 理查德·莫蒂尔 , 保罗·科斯塔 , Peter R.Pietzuch先生 , 乔恩·克劳克罗夫特 , 安德鲁·摩尔 , 诺亚·齐尔伯曼 :
Emu:网络服务的快速原型。 USENIX年度技术会议 2017 : 459-471 [i2] Nik Sultana公司 , 救世主加利亚 , 大卫·格里夫斯 , 马金·沃西克 , 诺亚·齐尔伯曼 , 理查德·克莱格 , 罗迈 , 理查德·莫蒂尔 , Peter R.Pietzuch先生 , 乔恩·克劳克罗夫特 , 安德鲁·摩尔 :
使用调试相关功能扩展程序,并进行应用程序到硬件的开发。 CoRR公司 abs/1705.09902 ( 2017 ) 2016 [第11条] Nik Sultana公司 , 理查德·莫蒂尔 :
Kneecap:基于模型的网络流量生成。 IJCAR的SMT 2016 : 4-14 [第10条] Nik Sultana公司 , 马尔库夫·科尔维斯 , 安德鲁·摩尔 :
隧道中央之光:向不信任方选择性披露网络监控的中间盒。 热中间件@SIGCOMM 2016 : 1-6 【c9】 阿卜杜勒·阿利姆 , 理查德·克莱格 , 罗迈 , 卢卡斯·鲁普雷希特 , 埃里克·塞克勒 , 保罗·科斯塔 , Peter R.Pietzuch先生 , 亚历山大·沃尔夫 , Nik Sultana公司 , 乔恩·克劳克罗夫特 , 阿尼尔·马达瓦佩迪 , 安德鲁·摩尔 , 理查德·莫蒂尔 , 马苏德·科莱尼 , 路易斯·奥维多 , 马特奥·米利亚瓦卡 , 德里克·麦考利 :
FLICK:开发和运行特定于应用程序的网络服务。 USENIX年度技术会议 2016 : 1-14 2015 [注2] 克里斯托夫·本兹穆勒 , Nik Sultana公司 , 劳伦斯·保尔森 , 弗兰克·泰斯 :
高阶箴言利奥二世。 J.汽车。 原因。 55 ( 4 ) : 389-404 ( 2015 ) 【c8】 Nik Sultana公司 , 克里斯托夫·本兹穆勒 , 劳伦斯·保尔森 :
证明和重建。 FroCos公司 2015 : 256-271 【c7】 克里斯托夫·本兹穆勒 , 马克西米利安·克劳斯 , Nik Sultana公司 :
Isabelle/HOL中模态逻辑立方体的系统验证。 CADE处PxTP 2015 : 27-41 2013 [j1] Nik Sultana公司 , 贾斯敏·克里斯蒂安·布兰切特 , 劳伦斯·保尔森 :
大锤试验台上的LEO-II和Satallax。 J.应用。 日志。 11 ( 1 ) : 91-102 ( 2013 ) 【c6】 克里斯托夫·本兹穆勒 , Nik Sultana公司 :
LEO-II 1.5版。 CADE条件下的PxTP 2013 : 2-10 【c5】 Nik Sultana公司 , 莫里茨·Y·贝克尔 , Markulf Kohlweiss公司 :
基于数据日志的信任管理中的选择性披露。 STM公司 2013 : 160-175 [i1] 克里斯托夫·本兹穆勒 , Nik Sultana公司 :
更新报告:LEO-II 1.5版。 CoRR公司 abs/1303.3761 ( 2013 ) 2012 【c4】 Nik Sultana公司 , 克里斯托夫·本兹穆勒 :
理解LEO-II的证明。 IWIL@LPAR 2012 : 33-52 【c3】 莫里茨·Y·贝克尔 , 亚历山德拉·拉索 , Nik Sultana公司 :
基于逻辑的信任管理基础。 IEEE安全与隐私研讨会 2012 : 161-175
2000 – 2009
2008 【c2】 Nik Sultana公司 , 西蒙·汤普森 :
重构的机械验证。 政治公众人物 2008 : 51-60 2007 【c1】 西蒙·汤普森 , 克里斯托弗·布朗 , 李慧清(音) , 克劳斯·雷克 , Nik Sultana公司 :
重构肯特大学的功能性课程。 WRT公司 2007 : 66-67
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)