Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, HotSoS 2014, Raleigh, NC, USA, April 08 - 09, 2014 2014
    URL: http://dl.acm.org/citation.cfm?id=2600176
    DBLP: db/conf/hotsos/hotsos2014.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 35  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Trisha Biswas, Kendra Lesser, Rudra Dutta, Meeko M. K. Oishi.
    Examining reliability of wireless multihop network routing with linear systems.
    Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, HotSoS 2014, Raleigh, NC, USA, April 08 - 09, 2014 2014 (0) 2014
    Conference paper
    Naseem Ibrahim.
    Trustworthy context-dependent services.
    Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, HotSoS 2014, Raleigh, NC, USA, April 08 - 09, 2014 2014 (0) 2014
    Conference paper
    Ebrahim Khalaj, Radu Vanciu, Marwan Abi-Antoun.
    Is there value in reasoning about security at the architectural level: a comparative evaluation.
    Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, HotSoS 2014, Raleigh, NC, USA, April 08 - 09, 2014 2014 (0) 2014
    Conference paper
    Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago.
    A rewriting-based forwards semantics for Maude-NPA.
    Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, HotSoS 2014, Raleigh, NC, USA, April 08 - 09, 2014 2014 (0) 2014
    Conference paper
    Roopak Venkatakrishnan, Mladen A. Vouk.
    Diversity-based detection of security anomalies.
    Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, HotSoS 2014, Raleigh, NC, USA, April 08 - 09, 2014 2014 (0) 2014
    Conference paper
    Michael Maass, William L. Scherlis, Jonathan Aldrich.
    In-nimbo sandboxing.
    Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, HotSoS 2014, Raleigh, NC, USA, April 08 - 09, 2014 2014 (0) 2014
    Conference paper
    Xiaofan He, Huaiyu Dai, Wenbo Shen, Peng Ning.
    Channel correlation modeling for link signature security assessment.
    Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, HotSoS 2014, Raleigh, NC, USA, April 08 - 09, 2014 2014 (0) 2014
    Conference paper
    Wei Yang, Xusheng Xiao, Rahul Pandita, William Enck, Tao Xie.
    Improving mobile application security via bridging user expectations and application behaviors.
    Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, HotSoS 2014, Raleigh, NC, USA, April 08 - 09, 2014 2014 (0) 2014
    Conference paper
    Arnab Ray, Rance Cleaveland.
    An analysis method for medical device security.
    Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, HotSoS 2014, Raleigh, NC, USA, April 08 - 09, 2014 2014 (0) 2014
    Conference paper
    Sayan Mitra.
    Proving abstractions of dynamical systems through numerical simulations.
    Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, HotSoS 2014, Raleigh, NC, USA, April 08 - 09, 2014 2014 (0) 2014
    Show item 1 to 10 of 35  

    Your query returned 35 matches in the database.