Skip to content
View nevinshine's full-sized avatar
:octocat:
Building Sentinel
:octocat:
Building Sentinel

Block or report nevinshine

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
nevinshine/README.md
nevin@fedora-lab:~/systems-lab$ ./identity_matrix.sh

============== [ SYSTEM IDENTITY LOADED ] ==============

! USER_ID :   Nevin Shine (uid=1000)
! CONTEXT :   Systems Researcher
! FOCUS   :   Operating Systems, Runtime Systems &
              Systems Security Research

+ [0x01] CORE ARCHITECTURE
--------------------------------------------------------
  > Strategy   : Layered systems design, deterministic execution,
                 explicit ownership & lifecycle management
  > Tech Stack : C, Rust, LLVM, ELF, eBPF/XDP, Virtualization,
                 RISC-V, Verilog
  > Objective  : Building operating system, runtime and systems
                 research infrastructure from kernel to userspace

┌───────────────────────────────────────────────────────────────────┐
│  [0x02]  SYSTEMS LAB & RESEARCH PROJECTS                          │
├──────────────┬────────────────────────────────────────────────────┤
│              │                                                    │
│   Kernel     │  Atlas            Research Operating System        │
│   Loader     │  Aether           Dynamic ELF Runtime Loader       │
│   Runtime    │  libatlas         Runtime & System ABI             │
│   Library    │  libc             C Standard Library               │
│              │                                                    │
├──────────────┼────────────────────────────────────────────────────┤
│              │                                                    │
│   Security   │  Sentinel Stack   Runtime Security Research        │
│   Compiler   │  Sentinel-CC      LLVM Enforcement Research        │
│   Hypervisor │  Sentinel VMI     VMI & Virtualization             │
│   Network    │  Hyperion XDP     AF_XDP Networking                │
│   Analysis   │  Sentinel-KV      LLVM IR Analysis                 │
│   Hardware   │  TCA Prototype    Capability Architecture          │
│   Firmware   │  Sentinel PMP     RISC-V PMP Research              │
│              │                                                    │
├──────────────┴────────────────────────────────────────────────────┤
│                                                                   │
│  STATUS                                                           │
│  ──────                                                           │
│  Atlas            ██████████  active       Kernel Architecture    │
│  Aether           ██████████  active       Runtime Loader         │
│  libatlas         ██████████  active       Runtime ABI            │
│  libc             █████████░  active       C Runtime              │
│                                                                   │
│  Sentinel Stack   ████████░░  research     Runtime Security       │
│  Sentinel-CC      ███████░░░  research     LLVM Enforcement       │
│  Hyperion XDP     ██████████  running      AF_XDP Dataplane       │
│  Sentinel VMI     ███████░░░  research     Hypervisor VMI         │
│  Sentinel-KV      ██████░░░░  experimental LLVM IR Analysis       │
│  TCA Prototype    ███████░░░  prototype    Capability Hardware    │
│  Sentinel PMP     ██████░░░░  research     RISC-V PMP             │
│                                                                   │
└───────────────────────────────────────────────────────────────────┘

+ [0x03] TOOLCHAIN & RESEARCH DOMAINS
--------------------------------------------------------
  # LANGUAGES:   C | Rust | Go | Python | Verilog | RISC-V/x86 ASM

  # SYSTEMS:     Kernels | Scheduling | Virtual Memory
                 ELF | Dynamic Linking | Runtime ABI
                 Process Lifecycle | Loaders | libc

  # COMPILERS:   LLVM | Linkers | IR | Code Generation

  # HARDWARE:    RISC-V | Verilog | Virtualization
                 eBPF | XDP

  # RESEARCH:    Operating Systems | Runtime Systems
                 Systems Security | Capability Systems

! [0x04] UPLINK ESTABLISHED
--------------------------------------------------------
  @: nevinshine05@outlook.com
  L: Nürnberg, DE
  W: nevinshine.codeberg.page
  G: github.com/nevinshine
  C: codeberg.org/nevinshine

========================================================

Pinned Loading

  1. telos-runtime telos-runtime Public

    A closed-loop security runtime preventing "The Great Exfiltration" and Indirect Prompt Injection in Autonomous AI Agents.

    Python 17 21

  2. hyperion-xdp hyperion-xdp Public

    High-performance stateful network defense using eBPF/XDP. The Network Satellite for the Sentinel Runtime research system.

    C 7 1

  3. sentinel-stack sentinel-stack Public

    A deterministic, multi-layered security runtime utilizing eBPF and hardware virtualization

    C

  4. sentinel-runtime sentinel-runtime Public template

    Runtime Malware Analysis Engine using Linux ptrace & Isolation Forests.

    C 1

  5. sentinel-vmi sentinel-vmi Public

    Hardware-assisted virtual machine introspection and runtime mediation for the Sentinel Stack.

    Go

  6. telos-lang telos-lang Public

    A zero-trust systems programming language unifying business logic and kernel security policies through a dual-target LLVM BPF pipeline, Z3 formal verification, and Information Flow Control (IFC).

    Rust