Zobrazeno 1 - 10
of 31
pro vyhledávání: '"Jens Nicolay"'
Information Flow Control is important for securing applications, primarily to preserve the confidentiality and integrity of applications and the data they process. Statically determining the flows of information for security purposes helps to secure
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::235f50740f99b3b119b387b7edeb96c3
https://hdl.handle.net/20.500.14017/afd573bd-034b-4cd4-98f6-fe6c397df9c5
https://hdl.handle.net/20.500.14017/afd573bd-034b-4cd4-98f6-fe6c397df9c5
We present PrintTalk, a DSL to "program" 3D objects, called "gadgets". PrintTalk also features "topologies", which are predefined spacial arrangements of gadgets. Gadgets are composed by executing a gadget script (possibly consisting of subscripts) t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e47861ccf49cf2d2b5db581165d3996f
https://hdl.handle.net/20.500.14017/099e8d9a-ba17-4658-aa59-34e874f78eb9
https://hdl.handle.net/20.500.14017/099e8d9a-ba17-4658-aa59-34e874f78eb9
Context: Static Application Security Testing (SAST) and Runtime Application Security Protection (RASP) are important and complementary techniques used for detecting and enforcing application-level security policies in web applications. Inquiry: The c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4454643b7f00bf550b6dc9e454640f36
http://arxiv.org/abs/2107.07300
http://arxiv.org/abs/2107.07300
Publikováno v:
Vrije Universiteit Brussel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::17645a7cac43895d05e48cb806996c06
https://hdl.handle.net/20.500.14017/f6e0c9ce-3061-41c4-a720-bf1020e0fc98
https://hdl.handle.net/20.500.14017/f6e0c9ce-3061-41c4-a720-bf1020e0fc98
Publikováno v:
The Art, Science, and Engineering of Programming. 6
The rise of streaming libraries such as Akka Stream, Reactive Extensions, and LINQ popularized the declarative functional style of data processing. The stream paradigm offers concise syntax to write down processing pipelines to consume the vast amoun
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::09b5a10f33424d72b6758b349583b3ef
https://doi.org/10.22152/programming-journal.org/2022/6/2
https://doi.org/10.22152/programming-journal.org/2022/6/2
Autor:
Elisa Gonzalez Boix, Coen De Roover, Ann Nowé, Jens Nicolay, Kyriakos Efthymiadis, Angel Luis Scull Pupo
Publikováno v:
SANER
Developing JavaScript and web applications with confidentiality and integrity guarantees is challenging. Information flow control enables the enforcement of such guarantees. However, the integration of this technique into software tools used by devel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::079aeccd5584958c5996d9d9b6c58fbb
https://biblio.vub.ac.be/vubir/guardiaml-machine-learningassisted-dynamic-information-flow-control(631a22d0-d42d-41eb-8afb-ba0e59334c82).html
https://biblio.vub.ac.be/vubir/guardiaml-machine-learningassisted-dynamic-information-flow-control(631a22d0-d42d-41eb-8afb-ba0e59334c82).html
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030112448
VMCAI
VMCAI
Traditional machine-based static analyses use a worklist algorithm to explore the analysis state space, and compare each state in the worklist against a set of seen states as part of their fixed-point computation. This may require many state comparis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::165b21314495e19200950f785f291236
https://doi.org/10.1007/978-3-030-11245-5_12
https://doi.org/10.1007/978-3-030-11245-5_12
Publikováno v:
CloudCom
Contemporary IoT systems are challenging to develop, deploy, and maintain. This is because of their ever-increasing scale, dynamic network topologies, heterogeneity and resource constraints of the involved devices, and failures that may occur as a re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9bc4d532ccf513c2ffd26a0a9b4316bf
https://doi.org/10.1109/cloudcom2018.2018.00045
https://doi.org/10.1109/cloudcom2018.2018.00045
Publikováno v:
Runtime Verification ISBN: 9783030037680
RV
RV
Current browsers-level security solutions do not provide a mechanism for information flow control (IFC) policies. As such, they need to be combined with language-based security approaches. Practical implementations for ICF enforcement remains a chall
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6caea86342b8fa680878f0436c85474a
https://doi.org/10.1007/978-3-030-03769-7_21
https://doi.org/10.1007/978-3-030-03769-7_21
Publikováno v:
ManLang
The complex architecture of browser technologies and dynamic characteristics of JavaScript make it difficult to ensure security in client-side web applications. Browser-level security policies alone are not sufficient because it is difficult to apply
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::69c8d29d249b9f13114a3b0e1cc6edc6
https://doi.org/10.1145/3237009.3237025
https://doi.org/10.1145/3237009.3237025