✦ LIBER ✦

Precise quantitative information flow analysis— a symbolic approach

✍ Scribed by Klebanov, Vladimir

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A new symbolic analysis approach to the

✍ Ivan A. Škokljev; Dejan V. Tošić 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 887 KB

A symbolic approach for content-based in

✍ Byron L.D. Bezerra; Francisco de A.T. de Carvalho 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 118 KB

A Symbolic Derivation Approach for Redun

✍ Ferraro, Sebastián J.; Ponzoni, Ignacio; Sánchez, Mabel C.; Brignole, Nélida B. 📂 Article 📅 2002 🏛 American Chemical Society 🌐 English ⚖ 199 KB

Efficient Instrumentation of GPGPU Appli

✍ Farooqui, Naila ;Schwan, Karsten ;Yalamanchili, Sudhakar 📂 Article 📅 2014 🏛 ACM ⚖ 231 KB

A Graph Approach to Quantitative Analysi

✍ Hsin-Yi Tsai; Yu-Lun Huang; Wagner, D. 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 374 KB

Symbolic analysis of a decomposition of

✍ J. Hartmanis 📂 Article 📅 1960 🏛 Elsevier Science ⚖ 962 KB