伯纳多·波特拉
人员信息
SPARQL查询
优化列表
2020年–今天
2023 [j3] 克劳迪娅·布里托 , 佩德罗·费雷拉 , 伯纳多·波特拉 , 鲁伊·卡洛斯·奥利维拉 , 圣保罗 :
Apache Spark上的隐私保护机器学习。 IEEE接入 11 : 127907-127930 ( 2023 ) [第13条] 伯纳多·波特拉 , 雨果·帕切科 , 佩德罗·豪尔赫 , 罗杰里奥·庞特斯 :
通用安全无冲突复制数据类型。 CSF公司 2023 : 521-536 [c12] 克劳迪娅·布里托 , 佩德罗·费雷拉 , 伯纳多·波特拉 , 鲁伊·奥利维拉 , 圣保罗 :
SOTERIA:在分布式机器学习中保护隐私。 囊 2023 : 135-142 [i10] 伯纳多·波特拉 , 雨果·帕切科 , 佩德罗·豪尔赫 , 罗热里奥·庞特斯 :
通用安全无冲突复制数据类型。 IACR加密。 电子打印架构。 2023 : 584 ( 2023 ) 2022 [注2] 何塞·卡洛斯·巴塞拉尔·阿尔梅达 , 曼纽尔·巴博萨 , 吉尔斯·巴特 , 雨果·帕切科 , 佩雷拉 , 伯纳多·波特拉 :
对经过验证的编译器在安全计算中的作用的形式化处理。 J.日志。 代数方法课程。 125 : 100736 ( 2022 ) [j1] 贝尔纳多·费雷拉 , 伯纳多·波特拉 , 蒂亚戈·奥利维拉 , 吉尔赫梅·博尔赫斯 , Henrique João L.多明戈斯 , 约昂·莱特昂 :
可信硬件上使用过滤器的布尔可搜索对称加密。 IEEE传输。 可靠的安全。 计算。 19 ( 2 ) : 1307-1319 ( 2022 ) [第11条] 丹妮拉·洛佩斯 , 佩德罗·梅德罗斯 , 金东东 , 迪奥戈·巴拉达斯 , 伯纳多·波特拉 , 乔·维纳格尔 , 贝尔纳多·费雷拉 , 克里斯廷 , 桑托斯 :
海报:Tor Onion服务的用户会话:共谋ISP能否大规模取消命名? CCS系统 2022 : 3399-3401 2021 [第10条] 曼纽尔·巴博萨 , 贝尔纳多·费雷拉 , 乔安·马奎斯 , 伯纳多·波特拉 , 努诺·M·普雷古伊萨 :
安全无冲突的复制数据类型。 ICDCN公司 2021 : 6-15 【c9】 罗杰里奥·庞特斯 , 伯纳多·波特拉 , 曼纽尔·巴博萨 , 里卡多·维拉萨 :
CODBS:针对实际关系数据库索引进行优化的级联不经意搜索协议。 SRDS公司 2021 : 176-186 【c8】 玛丽亚娜·米兰达 , 塔尼亚·埃斯特维斯 , 伯纳多·波特拉 , 圣保罗 :
S2Dedup:支持SGX的安全重复数据消除。 SYSTOR公司 2021 : 14:1-14:12 [第九章] 塔尼亚·埃斯特维斯 , 玛丽亚娜·米兰达 , 圣保罗 , 伯纳多·波特拉 :
S2Dedup:启用SGX的安全重复数据消除。 IACR加密。 电子打印架构。 2021 : 683 ( 2021 ) [i8] 罗杰里奥·庞特斯 , 伯纳多·波特拉 , 曼纽尔·巴博萨 , 里卡多·维拉萨 :
CODBS:针对实际关系数据库索引进行优化的级联不经意搜索协议。 IACR加密。 电子打印架构。 2021 : 917 ( 2021 ) [i7] 克劳迪娅·布里托 , 佩德罗·费雷拉 , 伯纳多·波特拉 , 鲁伊·奥利维拉 , 圣保罗 :
Soteria:Apache Spark的隐私保护机器学习。 IACR加密。 电子打印架构。 2021 : 966 ( 2021 ) 2020 [i6] 曼纽尔·巴博萨 , 贝尔纳多·费雷拉 , 乔安·马奎斯 , 伯纳多·波特拉 , 努诺·M·普雷古伊萨 :
安全无冲突的复制数据类型。 IACR加密。 电子打印架构。 2020 : 944 ( 2020 )
2010 – 2019
2019 【c7】 何塞·巴塞拉·阿尔梅达 , 曼纽尔·巴博萨 , 吉尔斯·巴特 , 马修·坎帕尼亚 , 厄尼·科恩 , 本杰明·格雷戈里 , 佩雷拉 , 伯纳多·波特拉 , Pierre-Yves支柱 , 塞尔达尔·塔西兰 :
AWS密钥管理服务的机器检查安全性证明。 CCS系统 2019 : 63-78 【c6】 塔尼亚·埃斯特维斯 , 里卡多·马塞多 , 阿尔贝托·法里亚 , 伯纳多·波特拉 , 圣保罗 , 何塞·佩雷拉 , 丹尼·哈尼克 :
TrustFS:一个支持SGX的可堆叠文件系统框架。 SRDS研讨会 2019 : 25-30 【c5】 贝尔纳多·费雷拉 , 伯纳多·波特拉 , 蒂亚戈·奥利维拉 , 吉尔赫梅·博尔赫斯 , 恩里克·若昂·多明戈斯 , 约昂·莱特昂 :
BISEN:具有可验证性和最小泄漏的高效布尔可搜索对称加密。 SRDS公司 2019 : 103-112 [i5] 何塞·巴塞拉·阿尔梅达 , 曼纽尔·巴博萨 , 吉尔斯·巴特 , 马修·坎帕尼亚 , 厄尼·科恩 , 本杰明·格雷戈里 , 佩雷拉 , 伯纳多·波特拉 , Pierre-Yves支柱 , 塞尔达尔·塔西兰 :
AWS密钥管理服务的机器检查安全性证明。 IACR加密。 电子打印架构。 2019 : 1042 ( 2019 ) 2018 【b1】 伯纳多·波特拉 :
独立执行环境的可证明安全处理和安全计算应用程序。 葡萄牙波尔图大学, 2018 【c4】 何塞·巴塞拉·阿尔梅达 , 曼纽尔·巴博萨 , 吉尔斯·巴特 , 雨果·帕切科 , 佩雷拉 , 伯纳多·波特拉 :
在现实世界秘密共享MPC框架中实施理想世界泄漏边界。 CSF公司 2018 : 132-146 [i4] 何塞·巴塞拉·阿尔梅达 , 曼纽尔·巴博萨 , 吉尔斯·巴特 , 雨果·帕切科 , 佩雷拉 , 伯纳多·波特拉 :
在现实世界的秘密共享MPC框架中实施理想世界泄漏边界。 IACR加密。 电子打印架构。 2018 : 404 ( 2018 ) [i3] 吉尔赫梅·博尔赫斯 , 恩里克·若昂·多明戈斯 , 贝尔纳多·费雷拉 , 约昂·莱特昂 , 蒂亚戈·奥利维拉 , 伯纳多·波特拉 :
BISEN:具有可验证性和最小泄漏的高效布尔可搜索对称加密。 IACR加密。 电子打印架构。 2018 : 588 ( 2018 ) 2017 【c3】 拉德·巴赫马尼 , 曼纽尔·巴博萨 , 费迪南德·布拉瑟 , 伯纳多·波特拉 , 艾哈迈德·雷扎·萨德吉 , 纪尧姆·斯卡里 , 博格丹·瓦林斯基 :
来自SGX的安全多方计算。 金融加密 2017 : 477-497 【c2】 里卡多·马塞多 , 圣保罗 , Rogerio桥 , 伯纳多·波特拉 , 蒂亚戈·奥利维拉 , 米盖尔·马托斯 , 鲁伊·奥利维拉 :
隐私保护NoSQL数据库的实用框架。 SRDS公司 2017 : 11-20 2016 【c1】 曼纽尔·巴博萨 , 伯纳多·波特拉 , 纪尧姆·斯卡里 , 博格丹·瓦林斯基 :
基于硬件的认证计算基础及其在SGX中的应用。 欧洲标准普尔 2016 : 245-260 [i2] 曼纽尔·巴博萨 , 伯纳多·波特拉 , 纪尧姆·斯卡里 , 博格丹·瓦林斯基 :
基于硬件的认证计算基础及其在SGX中的应用。 IACR加密。 电子打印架构。 2016 : 14 ( 2016 ) [i1] 拉德·巴赫马尼 , 曼纽尔·巴博萨 , 费迪南德·布拉瑟 , 伯纳多·波特拉 , 艾哈迈德·雷扎·萨德吉 , 纪尧姆·斯卡里 , 博格丹·瓦林斯基 :
来自SGX的安全多方计算。 IACR加密。 电子打印架构。 2016 : 1057 ( 2016 )