Zobrazeno 1 - 10
of 133
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
Autor:
Abideen, Zain Ul1 (AUTHOR) abideen@cmu.edu, Gokulanathan, Sumathi2 (AUTHOR) sumathi.gokulanathan@taltech.ee, J. Aljafar, Muayad2 (AUTHOR) muayad.al-jafar@taltech.ee, Pagliarini, Samuel1 (AUTHOR) pagliarini@cmu.edu
Publikováno v:
ACM Computing Surveys. Dec2024, Vol. 56 Issue 12, p1-35. 35p.
Autor:
Yan, Baochen1 (AUTHOR) bcyan@stu.xidian.edu.cn, Lan, Jiahe1 (AUTHOR) jhlan16@stu.xidian.edu.cn, Yan, Zheng1 (AUTHOR) zyan@xidian.edu.cn
Publikováno v:
ACM Computing Surveys. Mar2025, Vol. 57 Issue 3, p1-35. 35p.
Autor:
Abdelhamid, Moetez1 (AUTHOR) mohamed.moaetez@gmail.com, Sliman, Layth2 (AUTHOR) layth.sliman@gmail.com, Ben Djemaa, Raoudha1 (AUTHOR) raoudhaham@yahoo.fr, Perboli, Guido3 (AUTHOR) guido.perboli@polito.it
Publikováno v:
ACM Computing Surveys. Mar2025, Vol. 57 Issue 3, p1-39. 39p.
Autor:
Wei Lu, Qiaoyan Wen, Yuqing Zhang, Bo Lang, Weiping Wen, Hanbing Yan, Chao Li, Li Ding, Ruiguang Li, Yu Zhou
This open access book constitutes the refereed proceedings of the 16th International Annual Conference on Cyber Security, CNCERT 2020, held in Beijing, China, in August 2020. The 17 papers presented were carefully reviewed and selected from 58 submi