Glyphstream as a Formal Encoding: A Structural Schema for Continuity Preservation Across Sessions and Systems

Συγγραφείς: Crippin, Suzanne

Θεματικοί όροι: research workflows, non-executing specifications, schema versioning, systems design, non-semantic encoding, graph representation, YAML, structural topology, technical note, information architecture, method-level framework, DSL, research infrastructure, boundary conditions, workflow documentation, deterministic reconstruction, schema design, directed graphs, data schema, handover protocols, structural modelling, specification governance, formal grammar, method specification, protocol specification, bounded schema, formal methods, safety by design, Atlas Codex, continuity artefact, workflow continuity, cross-session continuity, serialisation formats, scope limitation, domain-specific language, structural validation, structural encoding, auditability, reproducibility, formal specification, continuity systems, topology preservation, machine-readable encoding, structural compression, invariant preservation, non-executable data, misuse prevention, Crippin's Theory, non-autonomous systems, traceability, inert data structures, JSON schema, continuity preservation, systems architecture, graph-based models, decision topology, Glyphstream, workflow modelling

Detection Method for Closed-Source VxWorks Memory Protection Mechanisms Based on Dynamic Instruction Translation Monitoring.

Συγγραφείς: Guo, Yixin, Zhang, Youwei, Cao, Yan

Πηγή: Electronics (2079-9292); Nov2025, Vol. 14 Issue 22, p4382, 18p

Θεματικοί όροι: Security management, Detection algorithms, Access control, Embedded computer systems, Real-time computing, Computer firmware

Disassembly of executable code revisited

Συγγραφείς: Schwarz, B., Debray, S., Andrews, G.

Πηγή: Ninth Working Conference on Reverse Engineering, 2002. Proceedings. Reverse engineering Reverse Engineering, 2002. Proceedings. Ninth Working Conference on. :45-54 2002

Relation: Proceedings Ninth Working Conference on Reverse Engineering

JiuJITsu: Removing Gadgets with Safe Register Allocation for JIT Code Generation.

Συγγραφείς: ZHANG JIANG, YING CHEN, XIAOLI GONG, JIN ZHANG, WENWEN WANG, PEN-CHUNG YEW

Πηγή: ACM Transactions on Architecture & Code Optimization; Mar2024, Vol. 21 Issue 1, p1-26, 26p

Dam buffer overflow.

Συγγραφείς: Anley, Chris

Πηγή: Information Professional; Dec2005/Jan2006, Vol. 2 Issue 6, p14-18, 5p, 2 Color Photographs, 1 Graph

Θεματικοί όροι: Computer viruses, Computer network security, Computer software, Computer crimes, Computer security

Protocol for the Deactivation of 12,119 Nuclear Warheads

Συγγραφείς: HAMZAH, SEYED RASOUL

The Phantom Instruction Set: SHA-256 Constants as a Hidden Weird Machine

Συγγραφείς: Kulik, Dean

A Survey of Network-on-Chip Security Attacks and Countermeasures.

Συγγραφείς: CHARLES, SUBODHA, MISHRA, PRABHAT

Πηγή: ACM Computing Surveys; Jun2022, Vol. 54 Issue 5, p1-36, 36p

Θεματικοί όροι: Security management

SaBRe: load-time selective binary rewriting.

Συγγραφείς: Arras, Paul-Antoine, Andronidis, Anastasios, Pina, Luís, Mituzas, Karolis, Shu, Qianyi, Grumberg, Daniel, Cadar, Cristian

Πηγή: International Journal on Software Tools for Technology Transfer; Apr2022, Vol. 24 Issue 2, p205-223, 19p

Θεματικοί όροι: Injectors

Exploiting Mixed Binaries.

Συγγραφείς: PAPAEVRIPIDES, MICHALIS, ATHANASOPOULOS, ELIAS

Πηγή: ACM Transactions on Privacy & Security; Feb2021, Vol. 24 Issue 2, p1-29, 29p

Θεματικοί όροι: Programming languages, Data integrity, C++, Computer software security, Compilers (Computer programs)

Improving accuracy of HPC-based malware classification for embedded platforms using gradient descent optimization.

Συγγραφείς: Alam, Manaar, Mukhopadhyay, Debdeep, Kadiyala, Sai Praveen, Lam, Siew-Kei, Srikanthan, Thambipillai

Πηγή: Journal of Cryptographic Engineering; Nov2020, Vol. 10 Issue 4, p289-303, 15p

LAMBDA: Lightweight Assessment of Malware for emBeddeD Architectures.

Συγγραφείς: KADIYALA, SAI PRAVEEN, ALAM, MANAAR, SHRIVASTAVA, YASH, PATRANABIS, SIKHAR, BIN ABBAS, MUHAMED FAUZI, BISWAS, ARNAB KUMAR, MUKHOPADHYAY, DEBDEEP, SRIKANTHAN, THAMBIPILLAI

Πηγή: ACM Transactions on Embedded Computing Systems; Jul2020, Vol. 19 Issue 4, p1-31, 31p

A model for technological aspect of e-learning readiness in higher education.

Συγγραφείς: Al-araibi, Asma Ali Mosa, Naz'ri bin Mahrin, Mohd, Yusoff, Rasimah Che Mohd, Chuprat, Suriayati Binti

Πηγή: Education & Information Technologies; Mar2019, Vol. 24 Issue 2, p1395-1431, 37p

Θεματικοί όροι: Mobile learning, Educational technology, Information & communication technologies, Learning readiness, Higher education

Technological aspect factors of E-learning readiness in higher education institutions: Delphi technique.

Συγγραφείς: Al-araibi, Asma Ali Mosa, Mahrin, Mohd Naz'ri bin, Yusoff, Rasimah Che Mohd

Πηγή: Education & Information Technologies; Jan2019, Vol. 24 Issue 1, p567-590, 24p

Θεματικοί όροι: Online education, Delphi method, Information & communication technologies, Universities & colleges, Educational technology

On Design.

Συγγραφείς: Bartle, Richard A.

Πηγή: MMOs from the Inside Out; 2016, p189-353, 165p

Learning How to Prevent Return-Oriented Programming Efficiently.

Συγγραφείς: Pfaff, David, Hack, Sebastian, Hammer, Christian

Πηγή: Engineering Secure Software & Systems 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings; 2015, p68-85, 18p

Micro-Policies: Formally Verified, Tag-Based Security Monitors.

Συγγραφείς: Amorim, Arthur Azevedo de, Denes, Maxime, Giannarakis, Nick, Hritcu, Catalin, Pierce, Benjamin C., Spector-Zabusky, Antal, Tolmach, Andrew

Πηγή: 2015 IEEE Symposium on Security & Privacy; 2015, p813-830, 18p

Getting in control of your control flow with control-data isolation.

Συγγραφείς: Arthur, William, Mehne, Ben, Das, Reetuparna, Austin, Todd

Πηγή: 2015 IEEE/ACM International Symposium on Code Generation & Optimization (CGO); 2015, p79-90, 12p

Out of Control: Overcoming Control-Flow Integrity.

Συγγραφείς: Goktas, Enes, Athanasopoulos, Elias, Bos, Herbert, Portokalidis, Georgios

Πηγή: 2014 IEEE Symposium on Security & Privacy; 2014, p575-589, 15p

SoK: Automated Software Diversity.

Συγγραφείς: Larsen, Per, Homescu, Andrei, Brunthaler, Stefan, Franz, Michael

Πηγή: 2014 IEEE Symposium on Security & Privacy; 2014, p276-291, 16p