Zobrazeno 1 - 10
of 210
pro vyhledávání: '"Fred B. Schneider"'
Publikováno v:
Proceedings of the 5th International Workshop on P4 in Europe.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9353c61ad0fe0ef8558ab2ef2df4fe01
https://doi.org/10.1145/3565475.3569084
https://doi.org/10.1145/3565475.3569084
Autor:
Fred B. Schneider
Publikováno v:
Edsger Wybe Dijkstra ISBN: 9781450397735
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f4fee7c5510e0e144af0bdc5b498b458
https://doi.org/10.1145/3544585.3544614
https://doi.org/10.1145/3544585.3544614
Publikováno v:
Communications of the ACM. 64:60-65
How to avoid insider cyber-attacks by creating a corporate culture that infuses trust.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::15958d3a324f29441bf8bc34606439aa
https://doi.org/10.1145/3418296
https://doi.org/10.1145/3418296
Autor:
Elisavet Kozyri, Fred B. Schneider
Publikováno v:
Journal of Computer Security. 28:191-228
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4e4bfcb910d8bc8056086e329c44c07b
https://doi.org/10.3233/jcs-191316
https://doi.org/10.3233/jcs-191316
Autor:
Fred B. Schneider, Leslie Lamport
Publikováno v:
CSF
Hyperproperties generalize ordinary properties by expressing relations among multiple executions of a system. Self–composition has been used to reduce verifying that a system satisfies certain classes of Hyperproperties to verifying that a derived
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0697ac1cccb5868f8ac0a402d735405b
https://doi.org/10.1109/csf51468.2021.00012
https://doi.org/10.1109/csf51468.2021.00012
Autor:
Fred B. Schneider
Publikováno v:
Communications of the ACM. 61:37-39
Proposing a stronger foundation for an engineering discipline to support the design of secure systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::96375c334a14d2331cc33a2486ae6334
https://doi.org/10.1145/3199601
https://doi.org/10.1145/3199601
Autor:
Fred B. Schneider
Publikováno v:
Communications of the ACM. 61:36-38
A call for discussion of governmental investment and intervention in support of cybersecurity.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ed123bd180a7b9c49d22389c4c4c1469
https://doi.org/10.1145/3180493
https://doi.org/10.1145/3180493
Autor:
Nate Foster, Eugene Bagdasaryan, Griffin Berlstein, Fred B. Schneider, Jason Waterman, Eleanor Birrell, Deborah Estrin
Publikováno v:
WPES@CCS
Widespread deployment of Intelligent Infrastructure and the Internet of Things creates vast troves of passively-generated data. These data enable new ubiquitous computing applications---such as location-based services---while posing new privacy threa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::432728b133c6e1f61107fb72969b80ab
https://doi.org/10.1145/3338498.3358642
https://doi.org/10.1145/3338498.3358642
Publikováno v:
CSF
Flow-sensitive labels used by dynamic enforcement mechanisms might themselves encode sensitive information, which can leak. Metalabels, employed to represent the sensitivity of labels, exhibit the same problem. This paper derives a new family of enfo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2cf71fe1abb0918b7783195eec501777
https://doi.org/10.1109/csf.2019.00031
https://doi.org/10.1109/csf.2019.00031
Publikováno v:
Foundations of Security, Protocols, and Equational Reasoning ISBN: 9783030190514
Foundations of Security, Protocols, and Equational Reasoning
Foundations of Security, Protocols, and Equational Reasoning
Supported in part by AFOSR grants F9550-06-0019 and FA9550-11-1-0137, National Science Foundation grants 0430161, 0964409, and CCF-0424422 (TRUST), ONR grants N00014-01- 1-0968 and N00014-09-1-0652, and grants from Microsoft.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::278cbe427850d151a93aea53260eb4d8
https://doi.org/10.1007/978-3-030-19052-1_7
https://doi.org/10.1007/978-3-030-19052-1_7