Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Klieber, Will"'
Safety-critical embedded systems are now software-reliant and evolving at an incredible pace. With the emerging Internet of Things (IoT) ecosystem, these systems are now interconnected to several networks and exposed to potential attackers. This incr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2f7c1a6832b53cf07b28f4aef5ca96ee
This report describes recent significant enhancements to DidFail (Droid Intent Data Flow Analysis for Information Leakage), the CERT static taint analyzer for sets of Android apps. In addition to improving the analyzer itself, the enhancements includ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d348a09334836da0e945a1012bdb1853
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Janota, Mikoláš, Jordan, Charles, Klieber, Will, Lonsing, Florian, Seidl, Martina, Van Gelder, Allen
Publikováno v:
Journal on Satisfiability, Boolean Modeling and Computation; June 2015, Vol. 9 Issue: 1 p187-206, 20p
Autor:
Matthew J. Cull
What is gender? What should gender look like in the 21st century? This book brings together philosophy with insights from feminist and transgender theory to argue for gender pluralism: that there should be more than two genders, and that each gender
Autor:
Ronald M. Baecker
The last century has seen enormous leaps in the development of digital technologies, and most aspects of modern life have changed significantly with their widespread availability and use. Technology at various scales - supercomputers, corporate netwo
This book constitutes the refereed proceedings of the 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018, held in Oxford, UK, in July 2018.The 20 revised full papers, 4 short papers, and 2 tool papers were