SAT、SMT、CFI

作者: twd2 日期: 2019 年 11 月 12 日 被围观 61 次 发表评论 (0) 查看评论

今天上午程序分析课讲了SAT、SMT及其求解器求解算法, 十分有趣。

下午漏洞课讲了CFI。

晚上路由器课讲了路由器交换结构的设计与算法, 该内容在高级网络课已经讲过。

更晚的晚上补了作业。

新鲜, , , ,

发表评论

注意 - 你可以用以下 HTML tags and attributes:
<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>

:wink: :twisted: :roll: :oops: :mrgreen: :lol: :idea: :evil: :cry: :arrow: :?: :-| :-x :-o :-P :-D :-? :) :( :!: 8-O 8)

本文链接：https://twd2.me/archives/13690QrCode