summaryrefslogtreecommitdiff
path: root/directions/directions.bib
diff options
context:
space:
mode:
Diffstat (limited to 'directions/directions.bib')
-rw-r--r--directions/directions.bib19
1 files changed, 14 insertions, 5 deletions
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}
+}
+