Search Results - "Memory Isolation"
-
1
Authors: et al.
Contributors: et al.
Source: ACM Computing Surveys. 57:1-36
Subject Terms: [INFO.INFO-AR] Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-OS] Computer Science [cs]/Operating Systems [cs.OS], Control-Flow Integrity, Memory Isolation, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], JIT spraying, JIT spraying ROP Control-Flow Integrity Memory Isolation, ROP, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-ES] Computer Science [cs]/Embedded Systems
File Description: application/pdf
-
2
Authors:
Source: 2025 IEEE 10th European Symposium on Security and Privacy (EuroS&P). :1104-1120
Subject Terms: memory isolation, embedded security, secure interrupts
-
3
Authors:
Contributors:
Source: Artificial Intelligence, Soft Computing and Applications. :109-127
Subject Terms: FOS: Computer and information sciences, Operating Systems (cs.OS), OS kernel, Pip, 02 engineering and technology, secure systems, MPU, 7. Clean energy, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, memory isolation, Computer Science - Operating Systems, [INFO.INFO-OS] Computer Science [cs]/Operating Systems [cs.OS], 0202 electrical engineering, electronic engineering, information engineering, constrained devices, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR]
File Description: application/pdf
-
4
Authors: et al.
Contributors: et al.
Source: Proceedings of the 36th Annual ACM Symposium on Applied Computing. :1265-1274
Subject Terms: JavaScript, 0301 basic medicine, 03 medical and health sciences, Memory isolation, Compiler, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
File Description: application/pdf
Access URL: https://inria.hal.science/hal-03090348v1
https://doi.org/10.1145/3412841.3442001
https://inria.hal.science/hal-03090348v1/document
https://hal.archives-ouvertes.fr/hal-03090348v1
https://dblp.uni-trier.de/db/conf/sac/sac2021.html#KoRS21
https://dl.acm.org/doi/pdf/10.1145/3412841.3442001
https://hal.inria.fr/hal-03090348
https://hal.inria.fr/hal-03090348/document -
5
Authors: et al.
Contributors: et al.
Subject Terms: Real-time systems Mixed-Criticality Systems Time and space partitioning Memory isolation
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:001270664200001; volume:154; journal:JOURNAL OF SYSTEMS ARCHITECTURE; https://hdl.handle.net/11577/3518901
-
6
Authors: et al.
Contributors: et al.
Source: TRITA-EECS-AVL.
Subject Terms: formal verification, interactive theorem proving, direct memory access, memory isolation, input/output, formell verifiering, interaktiv datorassisterad beviskonstruktion, direkt minnesåtkomst, minnesisolering, indata/utdata, Datalogi, Computer Science
File Description: electronic
-
7
Authors: et al.
Source: Paraskevas, K, Iordanou, K, Luján, M & Goodacre, J 2020, 'Analysis of the Usage Models of System Memory Management Unit in Accelerator-attached Translation Units', Paper presented at 6th International Symposium on Memory Systems, Washington,DC, United States, 28/09/20-1/10/20. https://doi.org/10.1145/3422575.3422781
Subject Terms: Memory Virtualisation, SMMU, Memory isolation, Arm, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Memory management, Accelerators, FPGA
File Description: application/pdf
Access URL: https://www.research.manchester.ac.uk/portal/files/188384403/memsys2020_Analysis_of_the_usage_models_of_System_Memory_Management_Unit_in_Accelerator_attached_translation_units.pdf
https://research.manchester.ac.uk/en/publications/cfc03054-c94c-4fd7-bdf9-3ad6c4641d1b
https://doi.org/10.1145/3422575.3422781
https://www.research.manchester.ac.uk/portal/en/publications/analysis-of-the-usage-models-of-system-memory -management-unit-in-acceleratorattached-translation-units(cfc03054-c94c-4fd7-bdf9-3ad6c4641d1b).html
https://www.research.manchester.ac.uk/portal/files/188384403/memsys2020_Analysis_of_the_usage_models_of_System_Memory_Management_Unit_in_Accelerator_attached_translation_units.pdf
https://dblp.uni-trier.de/db/conf/memsys/memsys2020.html#ParaskevasILG20
https://research.manchester.ac.uk/en/publications/cfc03054-c94c-4fd7-bdf9-3ad6c4641d1b
https://pure.manchester.ac.uk/ws/files/188384403/memsys2020_Analysis_of_the_usage_models_of_System_Memory_Management_Unit_in_Accelerator_attached_translation_units.pdf
https://doi.org/10.1145/3422575.3422781 -
8
Authors:
Source: Trustfull Journal of Banking and Financial Technology. 4(1):75-94
Subject Terms: Formal verification, interactive theorem proving, memory isolation, direct memory access, network interface controller, Datalogi, Computer Science
File Description: print
-
9
Authors: et al.
Source: Sensors, Vol 23, Iss 7, p 3568 (2023)
Subject Terms: memory isolation, embedded systems, risc-v, Chemical technology, TP1-1185
Relation: https://www.mdpi.com/1424-8220/23/7/3568; https://doaj.org/toc/1424-8220; https://doaj.org/article/a3f64379289d4477b07ae94b650f6289
-
10
Authors:
Source: Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022 Formal Methods in Computer-Aided Design.
Subject Terms: Formal verification, interactive theorem proving, DMA, I/O security, memory isolation, Datalogi, Computer Science
File Description: electronic
-
11
Authors: et al.
Contributors: et al.
Source: IFIP Advances in Information and Communication Technology ; 37th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC) ; https://inria.hal.science/hal-05319900 ; 37th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), Jun 2022, Copenhagen, Denmark. pp.270-286, ⟨10.1007/978-3-031-06975-8_16⟩
Subject Terms: Memory isolation, Kernel stack confidentiality, Kernel stack integrity, AES-NI, Kernel stack protection, [INFO]Computer Science [cs]
Subject Geographic: Copenhagen, Denmark
-
12
Authors: et al.
Source: IEEE Transactions on Dependable and Secure Computing. 16:885-901
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, Memory isolation, IoT security, remote attestation, formal verification, 02 engineering and technology, 7. Clean energy
File Description: application/pdf
Access URL: http://doi.org/10.1109/TDSC.2019.2928541
https://doi.org/10.1109/TDSC.2019.2928541
https://dblp.uni-trier.de/db/journals/tdsc/tdsc16.html#AmmarCJHD19
https://ieeexplore.ieee.org/document/8821489
https://ieeexplore.ieee.org/document/8821489/authors#authors
https://hdl.handle.net/11572/288993
https://doi.org/10.1109/TDSC.2019.2928541 -
13
Authors: et al.
Source: Proceedings of the 18th ACM/IFIP/USENIX Middleware Conference: Industrial Track. :36-42
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, IoT, security, memory isolation, remote attestation
File Description: application/pdf
-
14
Authors: et al.
Contributors: et al.
Source: RESSI (Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information) ; https://hal.science/hal-03102252 ; RESSI (Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information), Dec 2020, Online, France
Subject Terms: kernel, IoT, constrained objects, memory isolation, formally proven kernel, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
-
15
Authors: et al.
Contributors: et al.
Source: ISSN: 1389-1286.
Subject Terms: Virtualized network I/O, memory isolation, memory-sharing mechanism, cloud platform, [PHYS]Physics [physics]
Availability: https://hal.sorbonne-universite.fr/hal-03566102
https://hal.sorbonne-universite.fr/hal-03566102v1/document
https://hal.sorbonne-universite.fr/hal-03566102v1/file/Yang%20et%20al.%20-%202021%20-%20S2H%20Hypervisor%20as%20a%20setter%20within%20Virtualized%20Net.pdf
https://doi.org/10.1016/j.comnet.2021.108577 -
16
Authors: et al.
Source: Sensors, Vol 21, Iss 7771, p 7771 (2021)
Subject Terms: memory isolation, tagged memory, Chemical technology, TP1-1185
Relation: https://www.mdpi.com/1424-8220/21/22/7771; https://doaj.org/toc/1424-8220; https://doaj.org/article/ccd982a022c645d29e8a8bf1600fa765
-
17
Authors: et al.
Contributors: et al.
Source: IFIP Advances in Information and Communication Technology ; 39th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC) ; https://inria.hal.science/hal-05043686 ; 39th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), Jun 2024, Edinburgh, United Kingdom. pp.221-235, ⟨10.1007/978-3-031-65175-5_16⟩
Subject Terms: Data and applications security, In-process memory isolation, Memory corruption, Information disclosure, Stack protection, [INFO]Computer Science [cs]
Subject Geographic: Edinburgh, United Kingdom
-
18
Authors: et al.
Contributors: et al.
Source: Science of Computer Programming. 162:76-92
Subject Terms: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Microkernel, Memory isolation, [INFO.INFO-OS] Computer Science [cs]/Operating Systems [cs.OS], 0202 electrical engineering, electronic engineering, information engineering, Coq, Formal proof, 0102 computer and information sciences, 02 engineering and technology, Micro-kernel, 16. Peace & justice, 01 natural sciences
File Description: application/pdf
Access URL: https://hal.archives-ouvertes.fr/hal-01712347/file/TASE2016-SCP.pdf
https://hal.archives-ouvertes.fr/hal-01369769/file/TASE2016.pdf
https://ieeexplore.ieee.org/document/7541888/
https://hal.archives-ouvertes.fr/hal-01369769/document
https://hal.archives-ouvertes.fr/hal-01369769
https://www.computer.org/csdl/proceedings-article/tase/2016/1764a073/12OmNy7yEhl
https://doi.ieeecomputersociety.org/10.1109/TASE.2016.28
https://dblp.uni-trier.de/db/conf/tase/tase2016.html#JomaaNGH16
https://hal.archives-ouvertes.fr/hal-01712347v1
http://www.sciencedirect.com/science/article/pii/S0167642317301338
https://dblp.uni-trier.de/db/journals/scp/scp162.html#JomaaNGH18
https://www.sciencedirect.com/science/article/abs/pii/S0167642317301338
https://hal.archives-ouvertes.fr/hal-01712347/document
https://hal.science/hal-01712347v1
https://doi.org/10.1016/j.scico.2017.06.012
https://hal.science/hal-01712347v1/document
https://hal.science/hal-01369769v1
https://doi.org/10.1109/tase.2016.28
https://hal.science/hal-01369769v1/document -
19
Authors: et al.
Contributors: et al.
Source: Electronic Communications of the EASST Open Access Journal ; 18th International Workshop on Automated Verification of Critical Systems (AVOCS 2018) ; https://hal.science/hal-01816830 ; 18th International Workshop on Automated Verification of Critical Systems (AVOCS 2018), Jul 2018, Oxford, United Kingdom. ⟨10.14279/tuj.eceasst.76.1080⟩
Subject Terms: protokernel, memory isolation, formal proof, Coq, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]
Subject Geographic: Oxford, United Kingdom
-
20
Authors: et al.
Subject Terms: Software Security, Memory Protection Keys, Memory Isolation, Use-After-Free, Memory Corruption Vulnerabilities, Operating Systems Security, Linux Kernel, Data-Oriented Attacks, Software Exploitation
Relation: https://zenodo.org/records/12780080; oai:zenodo.org:12780080; https://doi.org/10.5281/zenodo.12780080
Full Text Finder 
Nájsť tento článok vo Web of Science