虛擬機與中介表示法（VMs and IRs）
回想多數高階語言會先編譯到中介表示法（intermediate representation, IR），再進一步編譯到組語。 接下來兩週我們要學 Hack 的 IR——Hack VM—— 並寫一個 VM 翻譯器（VM translator）把 Hack VM 程式碼 編譯成組語。
阅读文章 →Test 1 實作部分（Practical Section，50 分）
觀察 Z：A A = 1（互補律——恆真）， 所以 Z = 1 = 0。Z 對 OR 沒有貢獻（同一律），整式變成 (X Y)。
阅读文章 →CCIT4064 Microcontrollers Assignment 3 詳細解答
說明：除非特別註明，8051 題目以標準 Intel MCS-51 指令集與 12 MHz 晶振計算；Arduino 題目以 Arduino UNO R3 / Arduino Sketch 語法回答。
阅读文章 →Assignment 3 — 詳細問題說明與完整解答
使用說明 > > 本文件對照原始解答 PDF（Assignment_3_wf_ay2526 solution.pdf）逐題重寫，補充每一個推導步驟，並在原 PDF 出現誤植處明確標註並給出依題目原始條件的正確答案： > > 1. Q1(d)(ii) 標題：原 PDF 寫成 -998.3125，但題目給的是 -998.125，且解答內文展開為 1111100110.001₂（對應 0.125），故 hex 結果 0xC4798800 對應
阅读文章 →Chapter 7：Single Cycle Processor (Part 1) — 單周期處理器（第一部分）
課程：Introduction to Computer Organization (CCIT4026) > 主題：MIPS 單周期處理器的構建模組與資料路徑
阅读文章 →Chapter 8：Single Cycle Processor (Part 2) — 單周期處理器（第二部分）
課程：Introduction to Computer Organization (CCIT4026) > 主題：單周期處理器的控制單元設計與完整執行範例
阅读文章 →Chapter 9：Multiple Cycle Processor — 多周期處理器
課程：Introduction to Computer Organization (CCIT4026) > 主題：多周期處理器的架構、執行流程與 FSM 控制單元設計
阅读文章 →IEEE 754 浮點數標準 完整教學
整數（Integer）只能表示離散的整數值，無法表示小數或非常大/非常小的數。例如：: 圓周率 π = 3.14159... 光速 c = 3.0 × 10⁸ m/s 電子質量 = 9.109 × 10⁻³¹ kg
阅读文章 →MCS-51 (8051) 組合語言完整指令集參考手冊
本手冊涵蓋 MCS-51 微控制器的全部 111 條指令，分為五大類別，詳細說明每條指令的語法、運作原理、影響旗標、位元組數、機器週期數及使用範例。
阅读文章 →導讀：如何使用本教材
L3.2cmL11.6cm 項目 & 內容 課程 & 6CCS3CIS Cryptography（三年級／Level 6 版本） 授課教師 & Eamonn W. Postlethwaite（前五週）、Ngoc Khanh Nguyen（後五週） Office hours & 以 email 預約：Eamonn 週一 16–17；Khanh 週五 13–14 上課時間 & 每週四 16–18 講課；週一或週二 tutorial 評量方式
阅读文章 →什麼是密碼學？（講義 pp. 4–6）
講義一開始並沒有急著給出公式，而是先問一個看似簡單的問題：「密碼學是什麼？」 教師刻意列出七種來源各異的「定義」，目的不是要你背下其中一個，而是要你體會：對同一個學科，不同的人會因為關心的面向不同而給出不同的界定；而一旦下了定義，就等於劃出了界線（Wilde：「to define is to limit」）。
阅读文章 →思想實驗：兩位領主的秘密通訊（講義 pp. 7–11）
兩位領主 Francis 與 Henry 各自駐紮在營帳（pavilion）中，想要「安全地」通訊。他們事先當面商定了三樣東西： 之後 Francis 要傳訊給 Henry 時：加密 寫在羊皮紙（parchment）上 交給最信任的騎士（rider）送達 Henry 解密閱讀。
阅读文章 →什麼是「好的」加密方案？安全定義的五次迭代（講義 pp. 12–17）
講義用蘇格拉底式的問答，連續提出五個候選定義，每提出一個就問「Strong enough?」，再用一個反例推翻（或修正）它。這段推演是理解「安全定義為何微妙」的最佳範例，也是 Problem Set 1 第一題的直接前身——那裡會對 MAC 做一模一樣的事。
阅读文章 →保密性之外：完整性與訊息鑑別碼（講義 pp. 18–20）
講義 p. 18 問：除了保密性之外，我們還想要什麼安全性質？ 設想騎士被收買，竄改羊皮紙上的密文。他不知道金鑰也不知道訊息，但他仍然可以重排、增加或刪除字元。Henry 解密之後會得到什麼？一團亂碼嗎？如果不是亂碼呢？
阅读文章 →保密性與完整性之外（!）：重放、重排、反射、延遲、拒絕（講義 pp. 21–22）
假設 Francis 與 Henry 已經有了「完美」的加密與「完美」的 MAC：騎士讀不懂、也改不動任何一張羊皮紙。講義 p. 21 問：還有沒有我們想要的安全性質？有——因為騎士仍然可以對整張羊皮紙動手腳，而不必動其中的任何一個字。
阅读文章 →歷史插曲：密碼學曾是「軍火」（講義 p. 23）
講義中場休息的「fun fact」其實一點也不輕鬆：它是 Problem 3 的全部題材，也呼應 Blanchette 對密碼學的定義——為了規範行為而寫的程式碼。一旦程式碼能夠規範行為，政府就會想規範程式碼。
阅读文章 →機器、敵手與通用安全定義（講義 pp. 24–28）
講義 p. 24 把兩位領主抽象成兩台機器（machines）M_1( , ) 與 M_2( , )——文獻中也叫 players、agents、principals、entities——它們共享加密金鑰 與完整性金鑰 ，來回傳送 (c_1, _1), (c_2, _2), …。通道上另有一個敵手 。
阅读文章 →Problem 1：On integrity（論完整性）
構造 A：常數標籤 MAC（「什麼都不做」的 MAC）。 正確性：對任何 、m， ( , m) = 0，而 ( , m, 0) = 1。 安全性：毫無。任何人對任何訊息都能「偽造」合法標籤 0。這是講義 p. 12「do nothing」加密方案在 MAC 世界的翻版；它在 (v) 會派上用場，因為它滿足 1（金鑰根本沒被用到，當然無法被恢復）卻完全不滿足 3。
阅读文章 →Problem 2：On encryption（論加密）
場景一：公式化的軍事／商業訊息。 戰場上的回報往往只有少數幾種：「NOTHING TO REPORT」、「ATTACK AT DAWN」、「RETREAT」。 敵手（有加密預言機時）把這幾句都加密一遍；之後攔到的每一封密文，一比對就知道內容。 即使沒有預言機，光是「今天的密文與過去 30 天某一天相同」也足以推論「今天沒事」。 二戰時盟軍破解 Enigma 的「crib」正是利用德軍每日固定的「Keine besonderen Erei
阅读文章 →Problem 3：On cryptography as munitions（論密碼學作為軍火）
這一題沒有「標準答案」，評量的是閱讀與反思。以下提供：(1) 兩篇文章的閱讀指南（結構、論點、關鍵詞），讓你能在有限時間內讀懂法律評論；(2) 寫作架構與思考提示；(3) 一篇範例反思供參考。請務必自己動筆寫——這題的價值在於你自己的思考，而且 tutor 分得出來。
阅读文章 →本週重點整理
本週重點整理 L3.4cmL11.0cm 概念 & 一句話定義 SKE 語法 & ；c = ( , m)；m = ( , c)；空間 , , 。 SKE 正確性 & , m : ( , ( , m)) = m。 MAC 語法 & ； = ( , m)； ( , m, ) 。 MAC 正確性 & , m : ( , m, ( , m)) = 1。 安全定義的兩面向 & （ ）不應可能的事；（ ）敵手的能力。 EUF-CMA（3） & 有
阅读文章 →中英術語對照表
中英術語對照表 L4.6cmL3.0cmL7.0cm English & 中文 & 說明 firsthead English & 中文 & 說明 head 3r （續下頁） foot lastfoot cryptography & 密碼學 & 本週給了七種定義；本課程採「研究如何（以及什麼叫）讓計算安全」。 secret key encryption (SKE) & 秘密金鑰加密 & 又稱對稱式／私鑰加密；( , , )。 key ge
阅读文章 →自我測驗（附解答）
自我測驗 建議先遮住解答、限時 40 分鐘作答。題型刻意模仿「定義－反例－論證」的筆試風格。 寫出 SKE 的語法與正確性。接著給一個正確但完全不安全的 SKE，並說明它為何能通過「敵手無法恢復金鑰」這條檢驗。 語法： ；c = ( ,m)；m = ( ,c)。正確性： , m: ( , ( ,m)) = m。 「什麼都不做」方案 ( ,m) = m 正確；因為 不使用 ，密文與金鑰獨立，敵手恢復金鑰的機率只有亂猜的 1/| |——但訊
阅读文章 →參考資料
N. K. Nguyen and E. W. Postlethwaite, 6CCS3CIS Cryptography, first lecture, King's College London, 11 September 2025（73 頁投影片）。 E. W. Postlethwaite, Problem Set 1, 6CCS3CIS Cryptography, 29 September 2025. J. Katz and Y.
阅读文章 →