From 80201a7666aa6a6e59d6c9f0f3d4c7d81011067e Mon Sep 17 00:00:00 2001
From: jaseg <git@jaseg.net>
Date: Tue, 11 Dec 2018 23:34:11 +0900
Subject: Make a really fancy diagram

---
 directions/directions.bib | 19 ++++++++++++++-----
 1 file changed, 14 insertions(+), 5 deletions(-)

(limited to 'directions/directions.bib')

diff --git a/directions/directions.bib b/directions/directions.bib
index 4523fc6..b7e58f2 100644
--- a/directions/directions.bib
+++ b/directions/directions.bib
@@ -12,7 +12,7 @@
 	journal = {IEEE Transactions on Consumer Electronics},
 	month = feb,
 	number = {1},
-	pages = {30-37},
+	pages = {30--37},
 	publisher = {IEEE},
 	title = {Enhanced Three-factor Security Protocol for Consumer USB Mass Storage Devices},
 	volume = {60},
@@ -49,7 +49,7 @@
 	author = {Kang, Myung and Saiedian, Hossein},
 	journal = {Information Security Journal "A Global Perspective"},
 	number = {4},
-	pages = {166-185},
+	pages = {166--185},
 	publisher = {taylor\&francis},
 	title = {USBWall: A novel security mechanism to protect against maliciously reprogrammed USB devices},
 	volume = {26},
@@ -86,7 +86,7 @@
 	journal = {ACM Transactions on Embedded Computing Systems},
 	month = aug,
 	number = {3},
-	pages = {461-491},
+	pages = {461--491},
 	publisher = {ACM},
 	title = {Security in Embedded Systems: Design Challenges},
 	volume = {3},
@@ -115,7 +115,7 @@
 	author = {Angel, Sebastian and Wahby, Riad S. and Leners, Joshua B. and Blumberg, Andrew J.},
 	journal = {Proceedings of the 25th USENIX Security Symposium},
 	month = aug,
-	pages = {397-414},
+	pages = {397--414},
 	publisher = {USENIX Association},
 	title = {Defending against Malicious Peripherals with Cinch},
 	x-color = {#009966},
@@ -127,7 +127,7 @@
 	isbn = {978-1-931971-40-9},
 	journal = {Proceedings of the 26th USENIX Security Symposium},
 	month = aug,
-	pages = {1145-1161},
+	pages = {1145--1161},
 	publisher = {USENIX Association},
 	title = {USB Snooping Made Easy: Crosstalk Leakage Attacks on USB Hubs},
 	x-color = {#009966},
@@ -183,3 +183,12 @@
 	year = {2017}
 }
 
+@article{kobeissi01,
+	author = {Kobeissi, Nadim and Bhargavan, Karthikeyan},
+	month = {dec},
+	title = {Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols},
+	url = {https://eprint.iacr.org/2018/766.pdf},
+	x-color = {#009966},
+	year = {2018}
+}
+
-- 
cgit