asterinas/vostd

A community preview of ongoing formal verification efforts for Asterinas

Language: Rust - Size: 6.49 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 26 - Forks: 7

asterinas/verus Fork of verus-lang/verus

Verified Rust for low-level systems code modified for Asterinas

Language: Rust - Size: 17.8 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0

asterinas/api-docs-nightly

The nightly version of the aster-frame API documentation is always kept up-to-date with the latest version of aster-frame.

Language: HTML - Size: 8.89 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0

asterinas/asterinas

Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

Language: Rust - Size: 7.4 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 3,423 - Forks: 206

asterinas/book

The Website for the Asterinas Book. The content is generated by MdBook.

Language: HTML - Size: 1.2 MB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 2

asterinas/thank-you-dataset

The project automatically generates and maintains a list of Asterinas contributors, ranked by their scores, for display on the official website

Language: Shell - Size: 105 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 1

asterinas/benchmark

The Website for the Asterinas Benchmark. The content is generated by Benchmarks Test.

Language: JavaScript - Size: 215 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 1 - Forks: 2

asterinas/int-to-c-enum

Language: Rust - Size: 0 Bytes - Last synced at: 30 days ago - Pushed at: 30 days ago - Stars: 0 - Forks: 0

asterinas/id-alloc

Language: Rust - Size: 1.95 KB - Last synced at: 27 days ago - Pushed at: 30 days ago - Stars: 0 - Forks: 0

asterinas/align_ext

Language: Rust - Size: 0 Bytes - Last synced at: 30 days ago - Pushed at: 30 days ago - Stars: 0 - Forks: 0

asterinas/trustflow

A privacy-preserving computing system based on TEE.

Language: C++ - Size: 4.73 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 25 - Forks: 14

asterinas/asterinas.github.io

The source code of the Asterinas website

Language: HTML - Size: 5.6 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 2

asterinas/atc25-artifact-evaluation Fork of asterinas/asterinas 📦

Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

Language: Rust - Size: 27.5 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 1

asterinas/verus-proof-synthesis Fork of microsoft/verus-proof-synthesis

Language: Rust - Size: 878 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

asterinas/linux_vdso

Contain a vdso64.so file of Linux v6.2.10.

Size: 14.6 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 1

asterinas/verus-analyzer Fork of verus-lang/verus-analyzer

A Verus compiler front-end for IDEs (derived from rust-analyzer)

Language: Rust - Size: 67.3 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

asterinas/occlum Fork of occlum/occlum

Occlum is a memory-safe, multi-process library OS for Intel SGX

Language: Rust - Size: 6.71 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 3 - Forks: 0

asterinas/slides

A collection of presentations about the open-source projects under the Asterinas organization

Size: 6.35 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

asterinas/hyperenclave

HyperEnclave is an open and cross-platform trusted execution environment.

Language: Rust - Size: 376 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 33 - Forks: 4

asterinas/xarray

An XArray struct implemented by Rust.

Language: Rust - Size: 73.2 KB - Last synced at: 16 days ago - Pushed at: about 1 year ago - Stars: 6 - Forks: 6

asterinas/jinzhao-disk

Jinzhao Disk (JinDisk) is a log-structured secure block device for TEEs. This repo is JinDisk's Linux version.

Language: C - Size: 1020 KB - Last synced at: 9 days ago - Pushed at: about 2 years ago - Stars: 36 - Forks: 11

asterinas/trustflow-capsule-manager-sdk 📦

a sdk tool to access capsule manager

Language: Python - Size: 87.9 KB - Last synced at: 26 days ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 4

asterinas/trustflow-envoy

trustflow-envoy with custom filters

Size: 0 Bytes - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

asterinas/github-action-benchmark

Language: TypeScript - Size: 2.75 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

asterinas/smoltcp Fork of smoltcp-rs/smoltcp

a smol tcp/ip stack

Language: Shell - Size: 3.62 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

asterinas/trustflow-capsule-manager

The authorization and key management module of TrustedFlow

Language: Rust - Size: 205 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 8 - Forks: 7

asterinas/slides-zh

关于星绽的中文slides

Size: 22.7 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 2 - Forks: 0

asterinas/lmbench Fork of intel/lmbench

Language: C - Size: 418 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 4

asterinas/linux_binary_cache

Contain a vmlinuz-5.15.0-105-generic file of Linux v5.15.0.

Size: 10.7 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

asterinas/trustflow-teeapps

TeeApps contain a general framework for developing TEE applications and various application implementations used in federated AI/BI.

Language: C++ - Size: 683 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 10 - Forks: 2

asterinas/ostd-pod

Language: Rust - Size: 9.77 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

asterinas/api-docs

The hosted API documentation of aster-frame

Language: HTML - Size: 15.4 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 1

asterinas/inherit-methods-macro

Language: Rust - Size: 6.84 KB - Last synced at: 12 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

asterinas/trapframe-rs Fork of sdww0/trapframe-rs

Handle TrapFrame across kernel and user space on multiple ISAs.

Language: Rust - Size: 127 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 6

asterinas/mlsdisk

Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs

Language: Rust - Size: 211 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 12 - Forks: 2

asterinas/rust-managed Fork of smoltcp-rs/rust-managed

A library that provides a way to logically own objects, whether or not heap allocation is available

Size: 54.7 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

asterinas/sworndisk-oscomp

SwornDisk是一个面向可信执行环境的、基于日志结构的安全块设备（全国大学生操作系统比赛2022）

Language: C - Size: 8.95 MB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 19 - Forks: 2

asterinas/rust-ctor Fork of mmastrac/rust-ctor

Module initialization/global constructor functions for Rust

Language: Rust - Size: 169 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1

asterinas/inventory Fork of dtolnay/inventory

Typed distributed plugin registration

Language: Rust - Size: 142 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1

asterinas/gvisor

Language: Go - Size: 56 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

asterinas/alice-and-lam

Size: 14.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1

asterinas/jinzhao-attest

Jinzhao Attest provides unified attestation workflow for TEE compatibility, usability and security.

Language: C++ - Size: 1.05 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 27 - Forks: 11

asterinas/score-and-rank-contributors

A command-line tool to score and rank contributors based on their activity over a set of projects by analyzing Git histories

Language: Python - Size: 24.4 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1

asterinas/aster-for-osdk Fork of asterinas/asterinas

Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

Language: Rust - Size: 3.24 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

asterinas/fio Fork of axboe/fio

Flexible I/O Tester

Size: 28 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

asterinas/InterOp

本仓库用于展示北京金融科技产业联盟（Beijing FinTech Industry Alliance）数据专委会隐私计算互联互通课题组中TEE互联互通子课题研究成果，成果归属金科联盟数据专委会。

Size: 426 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 5

asterinas/libflate

Language: Rust - Size: 246 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

asterinas/jinzhao-disk-wj Fork of StanPlatinum/jinzhao-disk

Jinzhao Disk (JinDisk) is a log-structured secure block device for TEEs. This repo is JinDisk's Linux version.

Size: 1000 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

asterinas/pod

Language: Rust - Size: 6.84 KB - Last synced at: 15 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 2