关于 gossip 的文章

说到国内知名的安全企业——长亭科技，大家可能都知道很熟悉的是那个“万众创新”的时代里的模范创业故事：四位毕业于清华大学和浙江大学的高材生，出于对信息安全技术的兴趣而创业，遇到过“和...

关心程序分析和代码安全的你，可能经常听说过一个名词——形式化验证（formal verification）。形式化验证是一种通过数学方法验证软件、硬件或系统正确性的技术。它通过建立...

Let’s GoSSIP 软件安全暑期学校的课程内容，向来不缺少高水平的学术研究成果，今年也不例外：我们有幸邀请到了获得2025年IEEE S&P 杰出论文奖（Distin...

...

五月如花，在这个明媚的月份，我们为投稿的作者准备了如下礼物：《幽灵公主》绘本“逢考必过”小摆件三味酥屋蔓越莓凤梨酥欢迎大家投稿哦！再发一遍投稿指南：将你的研究成果用通俗易懂的形式介...

清明时节雨纷纷，路上行人欲断魂。我们在4月为大家准备了如下一些礼物，欢迎大家积极投稿哦~《科学的优雅——科学史上的8个简约之美》程序员 刻板印象 专属之天堂格子雨伞五芳斋青团（豆沙...

推荐站内搜索：最好用的开发软件、免费开源系统、渗透测试工具云盘下载、最新渗透测试资料、最新黑客工具下载……...

十年大暑时节的一缕凉风赤日几时过，清风无处寻。从2015年起，每到大暑时节，Let's GoSSIP暑期学校就会和来自全国乃至全世界的学员一起相约上海。在炎炎夏日里，如一缕凉风，为...

计算机系统与网络安全，从来就是强调实践的研究领域，没有实践的计算机安全课程，就好像只在教室里面教学的游泳课一样，永远无法让学生切身体会到细节与微妙之处。那么，在你的印象中，有哪些计...

6月到了，中考和高考的学子们加油！本月我们为大家准备的投稿礼物（嘿嘿6.18来了！）是：《暗淡蓝点》卡尔萨根诞辰90周年纪念版曼秀雷敦（Mentholatum）新碧小金帽防晒霜乳8...