马克西米利亚诺·克里斯蒂亚；吉多·德卢卡；卡洛斯·卢纳 Android权限系统的自动验证原型。 （英语） Zbl 07702723号 J.汽车。推理 67，第2期，第17号论文，24页（2023年）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Cristiá}等人，J.Autom。推理67，第2号，论文17，24页（2023；Zbl 07702723） 全文： 内政部 arXiv公司
吉尔·巴特；古斯塔沃·贝塔特；胡安·迭戈·坎波；卡洛斯·卢纳；大卫·皮哈迪 恒定时间加密的系统级不干涉。二： 已验证静态分析和隐形内存。 （英语） Zbl 1459.68027号 J.汽车。推理 64，第8期，1685-1729（2020）.MSC公司：68平方米25 68伏15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人，J.Autom。推理64，No.8，1685--1729（2020；Zbl 1459.68027） 全文： 内政部
吉尔·巴特；古斯塔沃·贝塔特；胡安·迭戈·坎波；卡洛斯·卢纳 恒定时间加密的系统级不干涉。一： 模型。 （英语） Zbl 1459.68026号 J.汽车。推理 63，第1期，1-51页（2019年）.MSC公司：68平方米25 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人，J.Autom。推理63，No.1，1-51（2019；Zbl 1459.68026） 全文： 内政部
古斯塔沃·贝塔特；胡安·坎波；费利佩·戈罗斯蒂亚加；卡洛斯·卢纳 Android权限模型的认证参考验证机制。 （英语） Zbl 1508.68048号 Fioravanti，Fabio（编辑）等，基于逻辑的程序合成和转换。第27届国际研讨会，2017年LOPSTR，2017年10月10日至12日，比利时纳穆尔。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。10855, 271-288 (2018).MSC公司：第68页第25页 68平方米25 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{G.Betarte}等人，Lect。票据计算。科学。10855、271--288（2018年；Zbl 1508.68048） 全文： 内政部 arXiv公司
古斯塔沃·贝塔特；胡安·坎波；卡洛斯·卢纳；阿古斯汀·罗曼诺 对Android基于权限的安全模型进行形式化分析。 （英语） Zbl 1424.68029号 科学。Ann.计算。科学。 26，第1号，27-68（2016）.MSC公司：第68页第25页 60年第68季度 68吨15 94A62型 PDF格式BibTeX公司 XML格式引用 \textit｛G.Betarte｝等人，《科学》。Ann.计算。科学。26，第1号，27--68（2016；Zbl 1424.68029） 全文： 内政部
古斯塔沃·贝塔特；胡安·迭戈·坎波；卡洛斯·卢纳；阿古斯汀·罗曼诺 验证Android的权限模型。 （英语） 兹比尔1471.68129 Leucker，Martin（编辑）等人，《计算的理论方面——ICTAC 2015》。第十二届国际学术讨论会，哥伦比亚卡利，2015年10月29日至31日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9399885-504（2015年）。MSC公司：60年第68季度 68平方米25 第68页第25页 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Betarte}等人，Lect。票据计算。科学。9399，485--504（2015；Zbl 1471.68129） 全文： 内政部
但丁·扎纳里尼；卡洛斯·卢纳；路易斯·塞拉 （共）归纳结构演算中的交替时间逻辑。 （英语） Zbl 1372.68179号 Gheyi，Rohit（编辑）等人，《形式方法：基础和应用》。第15届巴西研讨会，2012年SBMF，2012年9月23日至28日，巴西纳塔尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33295-1/pbk）。计算机科学课堂讲稿7498，210-225（2012）。MSC公司：60年第68季度 03B44号 68问题85 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Zanarini}等人，Lect。票据计算。科学。7498，210-225（2012；Zbl 1372.68179） 全文： 内政部
丹尼尔·卡莱加里；卡洛斯·卢纳；诺拉·萨兹；阿尔瓦罗·塔西斯特罗 用于认证模型转换的类型理论框架。 （英语） Zbl 1325.68059号 Davies，Jim（编辑）等人，《形式方法：基础和应用》。2010年11月8日至11日在巴西纳塔尔举行的第13届巴西正式方法研讨会，SBMF 2010。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-19828-1/pbk）。计算机科学课堂讲稿6527112-127（2011）。MSC公司：68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Calegari}等人，Lect。票据计算。科学。6527、112-127（2011年；Zbl 1325.68059） 全文： 内政部 链接