Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Musard Balliu 20 träffar

Titel Författare År Språk
1 Dynamic Policies Revisited IEEE European Symposium on Security and Privacy (EuroS&P 2022) Amir M. Ahmadian 2022 Engelska
2 To Secure a Flow:From Specification to Enforcement of Information Flow Control Amir M. Ahmadian 2025 Engelska
3 SandTrap: Securing JavaScript-driven Trigger-Action Platforms USENIX Security Symposium (USENIX Security 2021) Mohammad M. Ahmadpanah 2021 Engelska
4 A Logic for Information Flow Analysis of Distributed Programs - (Extended Abstract) Musard Balliu 2013 Engelska
5 Automating Information Flow Analysis of Low Level Code USA Arizona Scottsdale 2014 November 3–7 CCS’14 Musard Balliu 2014 Engelska
6 Friendly Fire: Cross-App Interactions in IoT Platforms Italian Conference on Cybersecurity (ITASEC) Musard Balliu 2020 Engelska
7-8 Logics for information flow security - from specification to verification (flera utgåvor) Musard Balliu 2014 Engelska
9 Securing Cross-App Interactions in IoT Platforms IEEE Computer Security Foundations Symposium Musard Balliu 2019 Engelska
10 Software Bill of Materials in Java Nov 30 2023 Denmark Copenhagen SCORED 2023 2nd Edition of the ACM Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses Musard Balliu 2023 Engelska
11 Clockwork: Tracking Remote Timing Attacks IEEE Computer Security Foundations Symposium (CSF 2020) Iulia Bastys 2020 Engelska
12 If This Then What? Controlling Flows in IoT Apps ACM Conference on Computer and Communications Security (CCS’18) Iulia Bastys 2018 Engelska
13 Security-Aware Multi-User Architecture for IoT And Security (QRS'21) Reliability 21st IEEE International Conference on Software Quality Marcus Birgersson 2021 Engelska
14 Information-Flow Control for Database-backed Applications IEEE European Symposium on Security and Privacy (EuroS&P 2019) Marco Guarnieri 2019 Engelska
15 Automated Deductive Verification of Safety-Critical Embedded Software Christian Lidström 2024 Engelska
16 Enclave-Based Secure Programming with JE IEEE Secure Development Conference (SecDev'21) Aditya Oak 2021 Engelska
17 Language Support for Secure Software Development with Enclaves IEEE Computer Security Foundations Symposium (CSF 2021) Aditya Oak 2021 Engelska
18 SerialDetector: Principled and Practical Exploration of Object Injection Vulnerabilities for the Web Network and Distributed Systems Security (NDSS) Symposium 202121-24 February 2021 Mikhail Shcherbakov 2021 Engelska
19 Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly IEEE Secure Development Conference (SecDev'21) Rodothea Myrsini Tsoupidi 2021 Engelska
20 Flaws in Flows: Unveiling Design Flaws via Information Flow Analysis IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE (ICSA 2019) Katja Tuma 2019 Engelska

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.