当程序分析遇到安全,我们关注什么

admin 2022年4月19日01:32:09安全闲碎评论28 views588字阅读1分57秒阅读模式
程序分析像一门博大精深的武功,但在安全领域施展起来往往会被特定的问题束缚住手脚,今年五月的IEEE S&P,我们将会在会议上报告两项研究内容,分别介绍将程序分析应用于漏洞检测和漏洞防护的一些“注意事项”。今天我们正式放出两项工作的预告片和camera ready PDF,欢迎大家关注!

CryptMPK
https://sjtu.lijuanru.com/publications/sp22.pdf


Goshawk
https://sjtu.lijuanru.com/publications/sp22-again.pdf


此外,我们在DSN上的两项工作的camera ready PDF也欢迎大家下载:


SIMulation: Demystifying (Insecure) Cellular Network based One-Tap Authentication Services

https://sjtu.lijuanru.com/publications/dsn22-s.pdf


KINGFISHER: Unveiling Insecurely Used Credentials in IoT-to-Mobile Communications

https://sjtu.lijuanru.com/publications/dsn22-k.pdf


原文始发于微信公众号(安全研究GoSSIP):当程序分析遇到安全,我们关注什么

特别标注: 本站(CN-SEC.COM)所有文章仅供技术研究,若将其信息做其他用途,由用户承担全部法律及连带责任,本站不承担任何法律及连带责任,请遵守中华人民共和国安全法.
  • 我的微信
  • 微信扫一扫
  • weinxin
  • 我的微信公众号
  • 微信扫一扫
  • weinxin
admin
  • 本文由 发表于 2022年4月19日01:32:09
  • 转载请保留本文链接(CN-SEC中文网:感谢原作者辛苦付出):
                  当程序分析遇到安全,我们关注什么 http://cn-sec.com/archives/920703.html

发表评论

匿名网友 填写信息

:?: :razz: :sad: :evil: :!: :smile: :oops: :grin: :eek: :shock: :???: :cool: :lol: :mad: :twisted: :roll: :wink: :idea: :arrow: :neutral: :cry: :mrgreen: