✦ LIBER ✦

Gate-Level Information-Flow Tracking for Secure Architectures

✍ Scribed by Tiwari, M.; Xun Li; Wassel, H.M.G.; Mazloom, B.; Mysore, S.; Chong, F.T.; Sherwood, T.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Theoretical Fundamentals of Gate Level I

✍ Wei Hu; Oberg, J.; Irturk, A.; Tiwari, M.; Sherwood, T.; Dejun Mu; Kastner, R. 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 392 KB

A security architecture for interconnect

✍ Dimitris Gritzalis; Costas Lambrinoudakis 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 133 KB

Information Flow Security for Boxed Ambi

✍ Silvia Crafa; Michele Bugliesi; Giuseppe Castagna 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 613 KB

Abstract interpretation of operational s

✍ R. Barbuti; C. Bernardeschi; N. De Francesco 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 106 KB

Secured Information Flow for Asynchronou

✍ Isabelle Attali; Denis Caromel; Ludovic Henrio; Felipe Luna Del Aguila 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 422 KB

Optimal mining on security labels for de

✍ Yang, Zhi; Yin, Lihua; Jin, Shuyuan; Chen, Xingyuan 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 545 KB