المؤلفون: Arnd Weber, Gernot Heiser, Dirk Kuhlmann, Martin Schallbruch, Anupam Chattopadhyay, Sylvain Guilley, Michael Kasper, Christoph Krauß, Philipp S. Krüger, Steffen Reith, Jean-Pierre Seifert

المصدر: TATuP – Zeitschrift für Technikfolgenabschätzung in Theorie und Praxis, Vol 29, Iss 1 (2020)

مصطلحات موضوعية: cybersecurity, sovereignty, open source, verification, supply chain risks, Social sciences (General), H1-99, Technology (General), T1-995

وصف الملف: electronic resource

Relation: https://tatup.de/index.php/tatup/article/view/6792; https://doaj.org/toc/2568-020X; https://doaj.org/toc/2567-8833

URL الوصول: https://doaj.org/article/76243e830316439bbf31344ec2e8e125

المؤلفون: Nils Wistoff, Moritz Schneider, Frank K. Gürkaynak, Gernot Heiser, Luca Benini

المصدر: IEEE Transactions on Computers. 72:1420-1430

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Cryptography and Security, Computational Theory and Mathematics, Hardware and Architecture, Hardware Architecture (cs.AR), Computer Science - Hardware Architecture, Cryptography and Security (cs.CR), Software, Theoretical Computer Science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f86e588aeb0460e07c83810d038e10f3
https://doi.org/10.1109/tc.2022.3212636

المؤلفون: Robert Sison, Scott Buckley, Toby Murray, Gerwin Klein, Gernot Heiser

المصدر: Formal Methods ISBN: 9783031274800

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::def362d0a0c7b5ef2925c2191de11c1d
https://doi.org/10.1007/978-3-031-27481-7_8

المؤلفون: Gernot Heiser, Gerwin Klein, Toby Murray

المصدر: ACM SIGOPS Operating Systems Review. 54:1-7

مصطلحات موضوعية: Competition (economics), Computer science, 020204 information systems, Distributed computing, 0202 electrical engineering, electronic engineering, information engineering, General Earth and Planetary Sciences, 020206 networking & telecommunications, 02 engineering and technology, Root cause, General Environmental Science, Communication channel

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::04623da8e1e47b9cf87c2954d40ec943
https://doi.org/10.1145/3421473.3421475

المؤلفون: Tetsuya Tohdo, Gernot Heiser, Rolf Ernst, Petru Eles, Kurt Keutzer, X. Sharon Hu, Dae Hyun Kim

المصدر: IEEE Design & Test. 35:86-93

مصطلحات موضوعية: Engineering, Training set, Hardware and Architecture, business.industry, Library science, Electrical and Electronic Engineering, business, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::9d8b0ee5f504ea27103216698093d966
https://doi.org/10.1109/mdat.2018.2869988

المؤلفون: Adam Foltzer, Ihor Kuz, Michal Podhradsky, Darren Cofer, June Andronick, Gernot Heiser, Douglas Alan Stuart, Lee Pike, Gerwin Klein, Andrew Gacek, Michael W. Whalen, John Backes

المصدر: Computer. 51:14-23

مصطلحات موضوعية: General Computer Science, Computer science, business.industry, Vulnerability, 020206 networking & telecommunications, 020207 software engineering, 02 engineering and technology, Software maintenance, Formal methods, Software, Software security assurance, 0202 electrical engineering, electronic engineering, information engineering, Software engineering, business, Formal verification, Vulnerability (computing)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::9e45779b06c236eb724a26b5d35eae0a
https://doi.org/10.1109/mc.2018.2876051

المؤلفون: Toby Murray, Matthew Fernandez, Ihor Kuz, Gernot Heiser, June Andronick, Gerwin Klein

المصدر: Communications of the ACM. 61:68-77

مصطلحات موضوعية: Hardware architecture, General Computer Science, Computer science, business.industry, Semantics (computer science), ComputerApplications_COMPUTERSINOTHERSYSTEMS, 020207 software engineering, 02 engineering and technology, GeneralLiterature_MISCELLANEOUS, Software, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, ComputerSystemsOrganization_SPECIAL-PURPOSEANDAPPLICATION-BASEDSYSTEMS, Software engineering, business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6aae76f67284bb5b51b96d5c8d56152f
https://doi.org/10.1145/3230627

المؤلفون: Gernot Heiser, Nils Wistoff, Moritz Schneider, Frank K. Gurkaynak, Luca Benini

المساهمون: Wistoff N., Schneider M., Gurkaynak F.K., Benini L., Heiser G.

المصدر: DATE

مصطلحات موضوعية: timing channels, covert channel, business.industry, Computer science, 020206 networking & telecommunications, 02 engineering and technology, Security policy, 020202 computer hardware & architecture, Microarchitecture, Software, Stack (abstract data type), Embedded system, RISC-V, operating system, 0202 electrical engineering, electronic engineering, information engineering, system security, State (computer science), Microkernel, computer architecture, business, Reset (computing), microarchitecture, time protection

وصف الملف: ELETTRONICO

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1b512c561276ab16a04f342d5f421121
http://hdl.handle.net/11585/870425

المؤلفون: Jean-Pierre Seifert, Christoph Krauß, Arnd Weber, Martin Schallbruch, Michael Kasper, D. Kuhlmann, Sylvain Guilley, Gernot Heiser, Steffen Reith, Philipp S. Krüger, Anupam Chattopadhyay

المصدر: TATuP – Zeitschrift für Technikfolgenabschätzung in Theorie und Praxis, Vol 29, Iss 1 (2020)
TATuP-Zeitschrift für Technikfolgenabschätzung in Theorie und Praxis, Vol 29, Iss 1 (2020)
TATuP-Zeitschrift für Technikfolgenabschätzung in Theorie und Praxis / Journal for Technology Assessment in Theory and Practice
Cybersecurity: Threat, vulnerability, values, and damage / Cybersicherheit: Bedrohung, Verwundbarkeit, Werte und Schaden
TATuP, 29 (1), 30-36

مصطلحات موضوعية: Technology, medicine.medical_specialty, certification, cybersecurity, Technology (Applied sciences), supply chain risks, security, Regulierung, lcsh:Technology, open source, sovereignty, verification, lcsh:Social Sciences, Hardware, information technology, Technology Assessment, Political science, Informationstechnik, medicine, T1-995, Technikfolgenabschätzung, Zertifizierung, Technology (General), Gynecology, H1-99, Technik, Technologie, software, lcsh:T, regulation, Sicherheit, lcsh:H, Social sciences (General), Open source, ddc:600

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::90c6803c69523fa35f9be23ffc6f7585
https://tatup.de/index.php/tatup/article/view/6792

المؤلفون: Gernot Heiser

المصدر: IEEE Design & Test. 35:27-30

مصطلحات موضوعية: business.industry, Computer science, Software development, 02 engineering and technology, 020202 computer hardware & architecture, Hardware software, Instruction set, Hardware and Architecture, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Systems design, Electrical and Electronic Engineering, Architecture, business, Software engineering, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a5b9ddfd486682e3b82d9aa29468a9f1
https://doi.org/10.1109/mdat.2017.2766559