卡尔蒂基扬·巴尔干;阿比舍克省比什哈瓦特;Quoc Huy Do公司;佩德拉姆·霍塞尼;拉尔夫·库斯特斯;吉多·施密茨;蒂姆·沃特尔 (\mathsf{DY}^{star}\)的辅导式介绍。 (英语) Zbl 1498.94055号 Daniel Dougherty(编辑)等人,《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13066, 77-97 (2021).MSC公司:94A60型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}等人,Lect。注释计算。科学。13066,77--97(2021;Zbl 1498.94055) 全文: 内政部
卡尔蒂基扬·巴尔干(编辑);伊丽莎白·奥斯瓦尔德(编辑);马诺伊·普拉巴卡兰(编辑) 密码学进展——INDOCRYPT 2020。2020年12月13-16日在印度班加罗尔举行的第21届国际密码学会议。诉讼程序。 (英语) Zbl 1490.94002号 计算机科学课堂讲稿12578.查姆:施普林格(ISBN 978-3-030-65276-0/pbk;978-3-0030-65277-7/电子书)。xix,第906页。(2020).MSC公司:94-06 94A60型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}(编辑)等,密码学进展——INDOCRYPT 2020。2020年12月13-16日在印度班加罗尔举行的第21届国际密码学会议。诉讼程序。查姆:施普林格(2020;Zbl 1490.94002) 全文: 内政部
卡尔蒂基扬·巴尔干;普拉萨德·纳尔德堡 现实世界密码学的实用形式方法(特邀演讲)。 (英语) Zbl 1519.94053号 Chattopadhyay,Arkadev(ed.)等人,第39届IARCS软件技术和理论计算机科学基础年会,2019年12月11-13日,印度孟买,FSTTCS 2019。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。150,第1条,第12页(2019年)。MSC公司:94A60型 60年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}和\textit{P.Naldurg},LIPIcs——莱布尼茨国际程序。通知。150,第1条,第12页(2019;兹bl 1519.94053) 全文: 内政部
卡尔蒂基扬·巴尔干;Delignat Lavaud,安托万;纳迪姆·科贝西 用于域验证和ACME的形式化建模和验证。 (英语) Zbl 1460.94036号 Kiayias,Aggelos(编辑),《金融加密和数据安全》。2017年4月3日至7日在马耳他斯莱马举行的2017年足球俱乐部第21届国际会议。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。10322, 561-578 (2017).MSC公司:94A60型 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}等人,Lect。注释计算。科学。10322、561--578(2017;Zbl 1460.94036) 全文: 内政部 哈尔
尼基尔·斯瓦米;Hriţcu,科特林;香塔尔·凯勒;阿西姆·拉斯托吉;Delignat Lavaud,安托万;西蒙·福雷斯特;卡尔蒂基扬·巴尔干;塞德里克·Fornet;Pierre-Yves支柱;马尔库夫·科尔韦斯;Jean-Karim Zinzindohoue;圣地亚哥Zanella-Béguelin (\mathrm{F}^*\)中的依赖类型和多单子效应。 (英语) Zbl 1347.68038号 Bodik,Rastislav(编辑)等人,第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集,POPL’16,美国佛罗里达州圣彼得堡,2016年1月20日至22日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3549-2)。256-270 (2016).MSC公司:68甲15 68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{N.Swamy}等人,摘自:第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集,POPL’16,美国佛罗里达州圣彼得堡,2016年1月20-22日。纽约州纽约市:计算机协会(ACM)。256-270(2016;Zbl 1347.68038) 全文: 内政部
卡尔蒂基扬·巴尔干;塞德里克·Fornet;马尔库夫·科尔韦斯;阿尔弗雷多·皮隆蒂;Pierre-Yves支柱;圣地亚哥Zanella-Béguelin 证明TLS握手是安全的(按原样)。 (英语) Zbl 1334.94060号 Garay,Juan A.(ed.)等人,《密码学进展——密码学》,2014年。2014年8月17日至21日,第34届年度密码学会议,美国加利福尼亚州圣巴巴拉。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-662-44380-4/pbk)。计算机科学讲座笔记8617,235-255(2014)。MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \文本{K.Bhargavan}等人,Lect。注释计算。科学。86173235-255(2014年;兹比尔1334.94060) 全文: 内政部
尼基尔·斯瓦米;塞德里克·福内特;阿西姆·拉斯托吉;卡尔蒂基扬·巴尔干;陈,胡安;Pierre-Yves支柱;加文·比尔曼 逐步键入安全嵌入JavaScript。 (英语) Zbl 1284.68108号 2014年1月22日至24日,美国加利福尼亚州圣地亚哥,POPL’14,第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2544-8)。425-437 (2014).MSC公司:68甲15 68甲18 68N20型 68问题55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Swamy}等人,《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》,POPL’14,美国加利福尼亚州圣地亚哥,2014年1月22日至24日。纽约州纽约市:计算机协会(ACM)。425--437(2014年;Zbl 1284.68108) 全文: 内政部
尼基尔·斯瓦米;陈,胡安;塞德里克·Fornet;Pierre-Yves支柱;卡尔蒂基扬·巴尔干;杨吉恩 使用值相关类型保护分布式编程。 (英语) Zbl 1290.68033号 J.功能。程序。 23,第4期,402-451(2013).MSC公司:68甲19 68甲18 68号30 68甲15 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{N.Swamy}等人,J.Funct。程序。23,第4号,402--451(2013;Zbl 1290.68033) 全文: 内政部
尼基尔·斯瓦米;陈,胡安;塞德里克·Fornet;Pierre-Yves支柱;卡尔蒂基扬·巴尔干;杨吉恩 使用值相关类型保护分布式编程。 (英语) Zbl 1323.68229号 2011年9月19-21日在日本东京举行的第16届ACM SIGPLAN功能编程国际会议记录,ICFP’11。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0865-6)。ACM SIGPLAN通知46,第9号,266-278(2011)。MSC公司:68号30 68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{N.Swamy}等人,in:第16届ACM SIGPLAN函数式编程国际会议论文集,2011年9月19日至21日,日本东京。纽约州纽约市:计算机协会(ACM)。266--278(2011年;Zbl 1323.68229) 全文: 内政部 哈尔
塞德里克·Fornet;卡尔蒂基扬·巴尔干;安德鲁·戈登。 通过键入示例协议实现的密码验证。 (英语) 兹比尔1344.68072 Aldini,Alessandro(编辑)等人,《安全分析和设计基础VI》,FOSAD教程讲座。柏林:施普林格出版社(ISBN 978-3-642-23081-3/pbk)。计算机科学课堂讲稿6858,66-100(2011)。MSC公司:68第25页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{C.Fournet}等人,Lect。注释计算。科学。6858、66-100(2011年;Zbl 1344.68072) 全文: 内政部 哈尔
卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。 通过键入对安全协议代码进行模块化验证。 (英语) Zbl 1312.68052号 2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-479-9)。445-456 (2010).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}等人,in:第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL’10,西班牙马德里,2010年1月17日至23日。纽约州纽约市:计算机协会(ACM)。445--456(2010;Zbl 1312.68052) 全文: 内政部
卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。;谢霆锋(Stephen Tse) 已验证安全协议的互操作实现。 (英语) Zbl 1137.68323号 Broy,Manfred(编辑)等人,《软件系统可靠性和安全性》。《北约软件系统可靠性和安全高级研究所会议记录》,德国马克托伯恩多夫,2006年8月1日至13日。阿姆斯特丹:IOS出版社(ISBN 978-1-58603-731-4/hbk)。北约科学安全系列。D: 信息和通信安全9,87-115(2007)。MSC公司:68个M12 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}等人,in:软件系统可靠性和安全性。《北约软件系统可靠性和安全高级研究所会议记录》,德国马克托伯恩多夫,2006年8月1日至13日。阿姆斯特丹:IOS出版社。87-115(2007;Zbl 1137.68323)
卡尔蒂基扬·巴尔干;卡尔·A·冈特。 网络事件识别。 (英语) Zbl 1083.68001号 形式方法系统。设计。 27,第3期,213-251(2005).MSC公司:68M10个 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}和\textit{C.A.Gunter},《形式方法系统》。设计。27,第3号,213--251(2005;Zbl 1083.68001) 全文: 内政部
马克·夏皮罗;卡尔蒂基扬·巴尔干;西施克里希纳 复制系统中一致性的基于约束的形式主义。 (英语) Zbl 1129.68387号 Higashino,Teruo(编辑),分布式系统原理。2004年12月15日至17日在法国格勒诺布尔举行的2004年OPODIS第八届国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 3-540-27324-7/pbk)。计算机科学课堂讲稿3544,331-345(2005)。MSC公司:64岁以下 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{M.Shapiro}等人,Lect。注释计算。科学。3544、331--345(2005年;Zbl 1129.68387) 全文: 内政部
卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。 web服务身份验证的语义。 (英语) Zbl 1142.68587号 西奥。计算。科学。 340,第1期,102-153(2005).MSC公司:68单位35 68M10个 60年第68季度 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}等人,Theor。计算。科学。340,编号1,102--153(2005;Zbl 1142.68587) 全文: 内政部
卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。 web服务身份验证的语义。 (英语) Zbl 1325.68140号 2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-729-X)。198-209 (2004).MSC公司:60年第68季度 68英里11 68个M12 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}等人,in:第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,POPL'04,意大利威尼斯,2004年1月14-16日。纽约州纽约市:计算机协会(ACM)。198-209(2004;Zbl 1325.68140) 全文: 内政部 链接
卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。;里卡多·普切拉 TulaFale:web服务的安全工具。 (英语) Zbl 1104.68306号 de Boer,Frank S.(编辑)等人,组件和对象的形式化方法。第二届国际研讨会,2003年FMCO,荷兰莱顿,2003年11月4-7日。修订的讲座。柏林:施普林格出版社(ISBN 3-540-22942-6/pbk)。计算机科学课堂讲稿3188197-222(2004)。MSC公司:68M10个 64岁以下 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}等人,Lect。注释计算。科学。3188197-222(2004;Zbl 1104.68306) 全文: 内政部
卡尔蒂基扬·巴尔干;达沃·奥布拉多维奇;卡尔·A·冈特。 距离向量路由协议标准的形式验证。 (英语) Zbl 1326.68039号 美国临床医学杂志 49,第4期,538-576(2002).MSC公司:68个M12 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}等人,J.ACM 49,No.4,538--576(2002;Zbl 1326.68039) 全文: 内政部
卡尔蒂基扬·巴尔干;萨蒂什·钱德拉;彼得·麦肯。;卡尔·冈特。 可能出现的数据包:用于网络监控的自动机。 (英语) 兹比尔1323.68199 第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,2001年1月17日至19日,英国伦敦,POPL'01。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-336-7)。206-219 (2001).MSC公司:68号30 68个M12 68甲15 65年第68季度 60年第68季度 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}等人,in:第28届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'01,英国伦敦,2001年1月17日至19日。纽约州纽约市:计算机协会(ACM)。206-219(2001;Zbl 1323.68199) 全文: 内政部
卡尔蒂基扬·巴尔干;卡尔·A·冈特。;达沃·奥布拉多维奇 HOL/SPIN中的路由信息协议。 (英语) Zbl 0974.68010号 Aagaard,Mark(编辑)等人,《高阶逻辑中的定理证明》。2000年8月14日至18日在美国俄勒冈州波特兰举行的第13届TPHOLs 2000国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1869, 53-72 (2000).MSC公司:68个M12 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}等人,Lect。注释计算。科学。1869年,53-72年(2000年;Zbl 0974.68010)