Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Security and privacy → Systems security"'
This report documents the outcomes of Dagstuhl Seminar 22412 "Intelligent Security: Is "AI for Cybersecurity" a Blessing or a Curse". The seminar brought together 25 attendees from 10 countries (Canada, Croatia, Czech Republic, France, Germany, Nethe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5636be734cdd2d46f104e0b4c960b4d9
LIPIcs, Volume 239, TYPES 2021, Complete Volume
LIPIcs, Vol. 239, 27th International Conference on Types for Proofs and Programs (TYPES 2021), pages 1-280
LIPIcs, Vol. 239, 27th International Conference on Types for Proofs and Programs (TYPES 2021), pages 1-280
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::00d359b583282ae2aa69c7ee4365d6e3
https://drops.dagstuhl.de/opus/volltexte/2022/16768/
https://drops.dagstuhl.de/opus/volltexte/2022/16768/
Front Matter, Table of Contents, Preface, Conference Organization
LIPIcs, Vol. 239, 27th International Conference on Types for Proofs and Programs (TYPES 2021), pages 0:i-0:viii
LIPIcs, Vol. 239, 27th International Conference on Types for Proofs and Programs (TYPES 2021), pages 0:i-0:viii
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::65f9d5c5c9c15db7bc7df8eac5c02f6e
LIPIcs, Volume 188, TYPES 2020, Complete Volume
LIPIcs, Vol. 188, 26th International Conference on Types for Proofs and Programs (TYPES 2020), pages 1-204
LIPIcs, Vol. 188, 26th International Conference on Types for Proofs and Programs (TYPES 2020), pages 1-204
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b763e98ccc2f192a45bc1dc6ff6c6d8b
https://drops.dagstuhl.de/opus/volltexte/2021/13878/
https://drops.dagstuhl.de/opus/volltexte/2021/13878/
Front Matter, Table of Contents, Preface, Conference Organization
LIPIcs, Vol. 188, 26th International Conference on Types for Proofs and Programs (TYPES 2020), pages 0:i-0:viii
LIPIcs, Vol. 188, 26th International Conference on Types for Proofs and Programs (TYPES 2020), pages 0:i-0:viii
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b81cb32948f6e6baee516d932d3ff29a
Autor:
De Luca, Guido, Luna, Carlos
Android is a platform for mobile devices that captures more than 85% of the total market share [International Data Corporation (IDC), 2020]. Currently, mobile devices allow people to develop multiple tasks in different areas. Regrettably, the benefit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ea094511138e6fafd4d570dca23a7579
Conference
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.
Conference
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.
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.