Securing Smart Cities
暂无分享,去创建一个
Prashant Anantharaman | Tancrède Lepoint | Liwei Song | Michael E. Locasto | Michael Emmi | Ioannis Agadakos | Gabriela F. Ciocarlie | Bogdan Copos | Ulf Lindqvist | Tancrède Lepoint | M. Emmi | U. Lindqvist | M. Locasto | Liwei Song | Bogdan Copos | Prashant Anantharaman | G. Ciocarlie | Ioannis Agadakos
[1] Omar Alrawi,et al. SoK: Security Evaluation of Home-Based IoT Deployments , 2019, 2019 IEEE Symposium on Security and Privacy (SP).
[2] Zhimin Gao,et al. Blockchain-based Identity Management with Mobile Device , 2018, CRYBLOCK@MobiSys.
[3] Ehab Al-Shaer,et al. IoTChecker: A data-driven framework for security analytics of Internet of Things configurations , 2017, Comput. Secur..
[4] Milos Prvulovic,et al. EDDIE: EM-based detection of deviations in program execution , 2017, 2017 ACM/IEEE 44th Annual International Symposium on Computer Architecture (ISCA).
[5] Orestis Mavropoulos,et al. ASTo: A tool for security analysis of IoT systems , 2017, 2017 IEEE 15th International Conference on Software Engineering Research, Management and Applications (SERA).
[6] Ricardo Neisse,et al. Security and privacy issues for an IoT based smart home , 2017, 2017 40th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO).
[7] Prashant Anantharaman,et al. Building Hardened Internet-of-Things Clients with Language-Theoretic Security , 2017, 2017 IEEE Security and Privacy Workshops (SPW).
[8] Elisa Bertino,et al. A Game of Things: Strategic Allocation of Security Resources for IoT , 2017, 2017 IEEE/ACM Second International Conference on Internet-of-Things Design and Implementation (IoTDI).
[9] Ahmad-Reza Sadeghi,et al. IoT SENTINEL: Automated Device-Type Identification for Security Enforcement in IoT , 2016, 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS).
[10] Milos Prvulovic,et al. Spectral profiling: Observer-effect-free profiling by monitoring EM emanations , 2016, 2016 49th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO).
[11] Ehab Al-Shaer,et al. IoTSAT: A formal framework for security analysis of the internet of things (IoT) , 2016, 2016 IEEE Conference on Communications and Network Security (CNS).
[12] Ali Saman Tosun,et al. A Testbed for Security and Privacy Analysis of IoT Devices , 2016, 2016 IEEE 13th International Conference on Mobile Ad Hoc and Sensor Systems (MASS).
[13] Karl N. Levitt,et al. Is Anybody Home? Inferring Activity From Smart Home Network Traffic , 2016, 2016 IEEE Security and Privacy Workshops (SPW).
[14] Simon Mayer,et al. Practical semantics for the Internet of Things: Physical states, device mashups, and open questions , 2015, 2015 5th International Conference on the Internet of Things (IOT).
[15] Arne Skou,et al. To Do and Not to Do: Constrained Scenarios for Safe Smart House , 2015, 2015 International Conference on Intelligent Environments.
[16] Nino Vincenzo Verde,et al. No Place to Hide that Bytes Won't Reveal: Sniffing Location-Based Encrypted Traffic to Track a User's Position , 2015, NSS.
[17] Fulvio Corno,et al. Modeling and formal verification of smart environments , 2014, Secur. Commun. Networks.
[18] Till F. Paasche,et al. Smart cities as corporate storytelling , 2014, The Routledge Companion to Smart Cities.
[19] Juan Carlos Augusto,et al. Software simulation and verification to increase the reliability of Intelligent Environments , 2013, Adv. Eng. Softw..
[20] Andreas Zinnen,et al. Clock skew based remote device fingerprinting demystified , 2012, 2012 IEEE Global Communications Conference (GLOBECOM).
[21] Ashish Tiwari,et al. HybridSAL Relational Abstracter , 2012, CAV.
[22] Donald W. Loveland,et al. A machine program for theorem-proving , 2011, CACM.
[23] E. A. Emerson,et al. Model checking , 2009, Commun. ACM.
[24] Martin Vuagnoux,et al. Compromising Electromagnetic Emanations of Wired and Wireless Keyboards , 2009, USENIX Security Symposium.
[25] R. Hollands. Will the real smart city please stand up? , 2008, The Routledge Companion to Smart Cities.
[26] Richard Kissel,et al. Security Considerations in the System Development Life Cycle , 2008 .
[27] Richard Kissel,et al. SP 800-64 Rev. 2. Security Considerations in the System Development Life Cycle , 2008 .
[28] Marco Gruteser,et al. Wireless device identification with radiometric signatures , 2008, MobiCom '08.
[29] Sushil Jajodia,et al. Optimal IDS Sensor Placement and Alert Prioritization Using Attack Graphs , 2008, Journal of Network and Systems Management.
[30] Sergey Bratus,et al. Active behavioral fingerprinting of wireless devices , 2008, WiSec '08.
[31] Srinivasan Seshan,et al. 802.11 user fingerprinting , 2007, MobiCom '07.
[32] Xinming Ou,et al. A scalable approach to attack graph generation , 2006, CCS '06.
[33] Sushil Jajodia,et al. Using attack graphs for correlating, hypothesizing, and predicting intrusion alerts , 2006, Comput. Commun..
[34] Damon McCoy,et al. Passive Data Link Layer 802.11 Wireless Device Driver Fingerprinting , 2006, USENIX Security Symposium.
[35] Somesh Jha,et al. Automated generation and analysis of attack graphs , 2002, Proceedings 2002 IEEE Symposium on Security and Privacy.
[36] N. Serinken,et al. Characteristics of radio transmitter fingerprints , 2001 .
[37] Philippe Schnoebelen,et al. Well-structured transition systems everywhere! , 2001, Theor. Comput. Sci..
[38] Dana Ron,et al. Learning probabilistic automata with variable memory length , 1994, COLT '94.
[39] Amir Pnueli,et al. The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[40] Jerome H. Saltzer,et al. The protection of information in computer systems , 1975, Proc. IEEE.
[41] J. Mcloughlin,et al. Cybernetic and General-System Approaches to Urban and Regional Research: A Review of the Literature , 1970 .
[42] Zhiqiang Lin,et al. IoTFuzzer: Discovering Memory Corruptions in IoT Through App-based Fuzzing , 2018, NDSS.
[43] N. Komninos,et al. Exploring the Big Picture of Smart City Research , 2018 .
[44] Hubert Ritzdorf,et al. TLS-N: Non-repudiation over TLS Enablign Ubiquitous Content Signing , 2018, NDSS.
[45] Man-Ki Yoon,et al. Communication Pattern Monitoring: Improving the Utility of Anomaly Detection for Industrial Control Systems , 2014 .
[46] Srdjan Capkun,et al. Physical-Layer Identification of Wireless Devices , 2011 .
[47] Giuseppe De Pietro,et al. Formal Design of Ambient Intelligence Applications , 2010, Computer.
[48] Robert J. Ellison,et al. Attack Trees , 2009, Encyclopedia of Biometrics.
[49] Michel Barbeau,et al. Enhancing intrusion detection in wireless networks using radio frequency fingerprinting , 2004, Communications, Internet, and Information Technology.
[50] Siva Sai Yerubandi,et al. Differential Power Analysis , 2002 .
[51] Matthew J. Parkinson,et al. An axiomatic basis for computer programming , 1969, CACM.