XiaoMi-AI文件搜索系统
World File Search SystemCini
德国赢得2024年欧洲网络安全挑战
“我们为意大利团队取得的结果感到自豪首次在意大利举办这项重要的竞争对代理机构和整个国家都很重要。我们向获胜的国家德国队表示祝贺。这不仅是一场比赛，而且要瞥见未来，开放了新的专业视野。“我要感谢过去两天参加的37个国家的参与者意大利强烈致力于主持ECSC，这得益于Cini网络安全国家实验室的宝贵工作。”此事件代表了漫长的旅程的高潮。作为代理机构，我们还通过设计三个挑战，这些挑战在意大利团队和比赛的Fina l中使用的三个挑战。“我们必须意识到，网络安全挑战是影响所有人的集体挑战。” “该机构致力于支持培训计划并提高年轻才能的技能。对基础设施和服务的攻击可能会像恐怖行为一样破坏国家的稳定。我们都知道个人在捍卫这种攻击和确保每个组织的安全性方面的作用至关重要。这就是为什么我们越来越需要新的网络捍卫者”我们为能够为这个成功版的ECSC的组织做出贡献感到非常自豪。欧盟网络安全局执行主任Juhan Lepassaar表示：“欧洲网络安全挑战赛成功地增强了欧洲年轻人才的技能发展和卓越的网络安全通过此类举措，有抱负的网络安全专业人员可以在公平竞争的协作环境中测试他们的技能，并被迫从事维护数字世界安全的职业。 'Cini网络安全国家实验室的主任Alessandro Armando说：“ ECSC再次成功地聚集了来自欧洲和海外的最有才华的人国际团队必须通过解决各种网络安全挑战并采用复杂的攻击和防御策略来证明自己的技能。比赛是通过利用Cini网络安全国家实验室专家在过去几年建立的复杂计算基础设施进行的。”“此版本的ECSC展示了年轻欧洲和国际才能在网络安全方面的技能。看到这么多聪明的年轻人共同努力解决复杂的挑战一直在鼓舞人心。意大利很自豪地举办了一项不仅是一场竞争的活动，而且是建立欧洲数字安全未来的平台。”“ ECSC不仅是测试技术技能的机会，而且是促进团队合作和国际协作的机会。该版本的成功强调了继续投资于新一代的重要性，他们将处于捍卫我们的数字基础架构的最前沿。帮助组织此活动是一种荣幸。”分别是Gaspare Ferraro和Paolo Prinetto，ECSC2024的共同主席ECSC在两天内采用了一系列与安全相关的CTF挑战，包括硬件任务，网络和移动安全性，密码学，逆向工程，二进制剥削和取证。但是，仅拥有技术技能并不能保证成功。参与者必须在动态环境中进行协作，在这种环境中，迅速有效的基于团队的决策至关重要。
SOIL-报告-2023.pdf
AEP 高等教育计划 AF 适应基金 AKRSP 阿迦汗农村支持计划 ALC 印度获取生计咨询印度有限公司 APMAS 安得拉邦 Mahila Abhivruddhi 协会 AWD 交替润湿和干燥法 AYUSH 阿育吠陀、瑜伽、自然疗法、尤那尼、悉达和顺势疗法 BASIX 印度萨姆鲁迪投资和咨询服务有限公司 BC 区块协调员 BEE 能源效率局 BKBDP 比哈尔邦科西盆地开发项目 BOP 金字塔底层 BRAC 孟加拉国康复援助委员会 BRP 区块资源人员 BRR 企业责任报告 BRSR 企业责任和可持续性报告 BWS 博洛格网络服务 CBO 社区组织 CCTS 碳信用交易计划 CDM 清洁发展机制 CEO 首席执行官 CFR 社区森林权利 CInI 综合生计倡议集体 CLAP 首席执行官领导力和发展计划 CLF 集群级联盟 CRP 社区资源个人 CSO 公民社会组织 CSR 企业社会责任 DA 数字农业 DACCS 直接空气碳捕获与封存 DBT 直接利益转移 DPI 数字公共基础设施 DSR 直接播种水稻 EPFO 雇员公积金组织 EPW 经济政治周刊 EU 欧洲联盟 FDRVC 农村价值链发展基金会 FIG 农民利益集团 FPC 农民生产公司
具有有效公共验证的完全同态加密
我们提出了一种有效的公开性验证的完全同态加密方案，该方案能够通过密文评估任意布尔电路，还产生了正确的同质计算的简洁证明。我们的方案基于DUCAS和MICCIANCIO（EUROCRYPT'15）提出的FHEW，我们将Ginx同型累加器（Eurocrypt'16）结合起来，以改善自举效率。为了使证明效果生成证明，我们将广泛使用的Rank-1约束系统（R1C）推广到环设置并获得环R1C，并在FHEW中属于同型同态计算。特别是，我们开发了在环R1C中有效表达的技术，即“非算术”操作，例如用于FHEW结构中使用的小工具分解和模量切换。我们通过将RING R1CS实例转换为多项式的汇总检查协议，然后将其编译为简洁的非交互式证明，通过将基于晶格的基于晶格的多项式承诺纳入Cini，Malavolta，Malavolta，Nguyen，nguyen和Wee（Wee（Wee）（Wee（Crypto'24））。结合在一起，我们公开的可验证的FHE方案依赖于有关晶格问题的标准硬度，以便在时间O（| c | 2·Poly（λ））和大小O（log 2 | C | C |·Poly（λ））中产生简洁的电路C的简洁证明。此外，我们的计划还实现了Walter（EPRINT 2024/1207）的最近提议的IND-SA（在半活性攻击下没有可区分性），当可以验证同型计算时，该安全性准确地捕获了客户数据隐私。
意大利未来人工智能
人工智能是信息科学技术科学界的中心研究领域；同时这也是一个能够彻底改变整个社会的挑战。国家大学间信息学联合会（CINI）已将其一个国家实验室（通常缩写为 AIIS（人工智能和智能系统））专门用于人工智能和智能系统。来自意大利所有大学和国家研究委员会的研究人员都参与了由 Rita Cucchiara 领导的 AIIS 实验室。我请他们在整个 IT 社区的帮助和支持下表达对意大利人工智能研究的全面愿景，这可以为机构环境中制定的研究战略做出贡献。为了响应这一请求，AIIS实验室组建了一个出色的编辑委员会：委员会由非常有能力的人员组成，他们来自不同背景，但都参与了全球人工智能的发展。我想在此向他们和 AIIS 实验室主任以及整个联盟的工作人员表示感谢，感谢他们的奉献和取得的优异成绩。我还要感谢部长会议主席国在该工作的规划阶段所做出的贡献。人工智能不能仅仅在国家框架内思考；除了 CINI-AIIS 编辑委员会的愿景和想法之外，该文件还立即考虑到了优秀的来源，包括近年来与意大利 IT 社区通过密切的科学合作联系最紧密的欧洲和非欧洲国家制定的人工智能战略。然而，最初的提议首先是长期激烈讨论的成果。这一步至关重要，因为我认为最好的想法总是来自于比较和分享。从文件的第一个版本开始，编辑委员会就能够通过国家研究委员会和计算机科学（GRIN）和计算机工程（GII）小组收集和总结来自整个社区的意见，这也极大地促进了思考，这要感谢主席 Paolo Atzeni（GII）和 Paolo Ciancarini（GRIN）的承诺。从所有这些比较中，人工智能的形象已显现为一个非常广泛的领域，分为许多特定的主题，但必须以系统的方式加以解决。正是通过与机构正在进行的工作的协同与合作，以及共同的信念，意大利科学界才能够成功且坚定地为这场新兴革命做出贡献。
飞机、制造和供应链并行设计的系统工程整体方法
这项博士研究活动是在德国航空航天中心 (DLR)，具体来说是在汉堡航空系统架构研究所进行的，由那不勒斯费德里科二世大学的飞机和飞行技术设计 (DAF) 研究小组进行学术监督。它是在 H2020 AGILE4.0 项目中开发的，并在正在进行的 Horizon Europe Colossus 项目中得到利用，这两个项目均由欧盟委员会资助。在这段旅程中，我遇到了很多人，我想对他们表示感谢。首先，我要对我的导师表示感谢。感谢 Björn Nagel 给我机会踏上这段旅程，感谢他一直对我的信任，感谢他尽管有很多承诺，但始终陪伴在我身边。我感谢 Pier Davide Ciampa 选择我，感谢他一直相信我的潜力，感谢他为我提供宝贵的技术建议，感谢他不断给我灵感。我衷心感谢 Fabrizio Nicolosi 立即愿意负责我的活动，并对我的工作和努力给予信任。最后，我感谢 Pierluigi Della Vecchia 的持续参与和支持。我还要衷心感谢 Ana Paula Cuco、Joao Mello、Felipe Odaguil、Ton van der Laan、Nathalie Bartoli 和 Thierry Lefebvre。我非常感谢三年多来我们每周五进行的精彩讨论。多亏了你们，我在职业和个人方面都得到了成长。我学到了很多东西，每天都在挑战自己，以获得新技能并实现我们共同的目标。感谢你们与我分享你们的热情、激情和工作承诺。感谢你们将我们的职业关系变成了真正的友谊。特别感谢 Nathalie 和 Ana，她们继续成为勤奋女性的鼓舞人心的榜样。感谢你们在 AGILE4.0 活动期间分享的所有美好时刻。感谢整个 AGILE4.0 联盟多年来提供的所有反馈。我要特别感谢审稿人 Christopher Jouannet 和 Andrea Cini。感谢你们花时间审阅我的工作并提供反馈，这无疑改进了这篇论文并为未来的工作提供了宝贵的见解。还要感谢会议专员 Kristian Amadori、Rauno Cavallaro 和 Agostino De Marco 参加我的博士论文答辩。我的同事们也值得我感谢，他们支持我和我的博士学位，即使是间接的。特别感谢我所在的团队。感谢你们所有引人入胜且鼓舞人心的讨论。我还要感谢 Luca Boggero 从不怀疑我的能力，鼓励我永不放弃，并始终