当前位置:首页 > 科研成果库

科研成果库 第150页

别再被"全量测试通过"骗了,形式化验证才是卡脖子的硬功夫

2026-10-18 22:26:13小研66
别再被"全量测试通过"骗了,形式化验证才是卡脖子的硬功夫
…

你刷小程序时等的那3秒,全是Serverless冷启动在搞鬼

2026-10-18 22:03:57小研60
你刷小程序时等的那3秒,全是Serverless冷启动在搞鬼
…

别等生产事故才补窟窿:混沌工程的落地逻辑与避坑指南

2026-10-18 21:43:07小研69
别等生产事故才补窟窿:混沌工程的落地逻辑与避坑指南
…

被K8s排障逼疯的运维,终于靠云原生可观测性松了口气

2026-10-18 21:17:54小研133
被K8s排障逼疯的运维,终于靠云原生可观测性松了口气
上周帮朋友排查K8s集群的诡异故障,整整熬了16个小时。找不到根因。日志飘得满世界都是,指标跳得像抽风,链路追踪翻遍了也找不到那个延迟高到离谱的调用节点——最后还是靠他们新上的云原生可观测性平台,12…

别被路边的小贴纸骗了——聊透没人明说的对抗样本防御

2026-10-18 20:56:09小研120
别被路边的小贴纸骗了——聊透没人明说的对抗样本防御
去年9月23号在南京绕城高速辅路那段,我们的测试车离那个贴了三条黑竖线的限速牌还有120米的时候,原本识别成“限速60”的结果突然跳成了“禁止通行”,系统直接触发了紧急制动,跟在后面的厢式货车按了一路…

机密计算:别让你的数据在"使用时"裸奔

2026-10-18 20:35:07小研147
机密计算:别让你的数据在"使用时"裸奔
2023年某省级医保平台的勒索事件让不少人后背发凉——攻击者没有攻破存储加密的数据库,只是通过宿主机的内存读取漏洞,直接拖走了近百万参保人的门诊结算明文数据。这不是个例。被忽略的最后一公里安全缺口过去…

我蹲了3个月的厂商漏洞报告,才搞懂软件供应链安全到底坑在哪

2026-10-18 20:12:01小研147
我蹲了3个月的厂商漏洞报告,才搞懂软件供应链安全到底坑在哪
上周帮一个做跨境电商的朋友查线上系统的告警,翻了三小时日志才发现——根本不是他自己写的业务代码出问题,是他去年图省事从开源仓库拉的一个12KB大小的日期格式化工具包,被人塞了偷用户支付信息的后门。我当…

你刷脸的那0.1秒,隐私计算到底在偷偷帮你挡什么?

2026-10-18 19:50:52小研154
你刷脸的那0.1秒,隐私计算到底在偷偷帮你挡什么?
上个月陪我妈从浙江回湖南老家,她之前因为老慢支,在杭州的社区医院开了三个月的药,按以前的规矩,异地医保结算得提前在手机上备案,到了老家的药店,还要把之前的就诊记录、缴费凭证全摆出来,窗口的工作人员翻半…

零知识证明:不暴露秘密就能完成验证,到底难在哪

2026-10-18 19:30:14小研161
零知识证明:不暴露秘密就能完成验证,到底难在哪
你有没有过这种时刻?去银行办业务要证明你是账户所有人,却不想把身份证号、手机号、家庭住址这些敏感信息全塞给对面的柜员;申请补贴要证明你符合收入门槛,却不想把近半年的工资流水、兼职收入全晒在审核人员面前…

被骂了十年‘实验室玩具’的同态加密,终于要摸到普通人的手机了?

2026-10-18 19:07:07小研324
被骂了十年‘实验室玩具’的同态加密,终于要摸到普通人的手机了?
…