https://github.com/lexxn0x3/sw_sec_presentation
๐ Dive into Rust's security features with example codes from a university presentation at Technische Hochschule Georg Simon Ohm, covering topics like safe concurrency, error handling, and zero-cost abstractions.
https://github.com/lexxn0x3/sw_sec_presentation
coding-demonstration concurrency education error-handling memory-safety rust rust-lang software-security type-safety university
Last synced: 6 months ago
JSON representation
๐ Dive into Rust's security features with example codes from a university presentation at Technische Hochschule Georg Simon Ohm, covering topics like safe concurrency, error handling, and zero-cost abstractions.
- Host: GitHub
- URL: https://github.com/lexxn0x3/sw_sec_presentation
- Owner: Lexxn0x3
- License: mit
- Created: 2024-04-25T16:00:42.000Z (over 1 year ago)
- Default Branch: master
- Last Pushed: 2024-05-13T18:17:51.000Z (over 1 year ago)
- Last Synced: 2025-02-02T12:53:19.721Z (8 months ago)
- Topics: coding-demonstration, concurrency, education, error-handling, memory-safety, rust, rust-lang, software-security, type-safety, university
- Language: Rust
- Homepage:
- Size: 21.5 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Rust Software Security Features Demo ๐ก๏ธ๐ฆ
Welcome to the GitHub repository for the Rust Software Security Features demonstration, presented at Technische Hochschule Georg Simon Ohm! This repo contains all the example code shown during the presentation, allowing you to dive deep into the features that make Rust a uniquely secure language for software development.
## ๐ Overview
This repository is structured to reflect the flow of the presentation, showcasing various security features in Rust through dedicated modules. Explore the code to see Rust's approach to memory safety, concurrency, and more in action!
## ๐ Contents
### 1. **Static Types** ๐
- **Enforcing Safety**: Dive into how Rust handles type safety and enforces explicit management of types with examples from the `static_types` module.### 2. **Integer Overflow** ๐
- **Preventing Overflows**: Explore how Rust prevents common security vulnerabilities related to integer overflow through the `integer_overflow` module.### 3. **Zero-Cost Abstractions** ๐
- **Efficient Patterns**: See how Rust's zero-cost abstractions like iterators and message passing help write efficient code that's also secure with the `zero_cost_abstraction` module.### 4. **Error Handling** ๐ ๏ธ
- **Graceful Failures**: Discover Rust's approach to robust error handling without exceptions by using the `error_handling` module.### 5. **Ownership and Borrowing** ๐คฒ
- **Memory Safety**: Learn about Rust's innovative ownership model that guarantees memory safety without a garbage collector in the `borrowing` module.### 6. **Lifetime Tracking** โณ
- **Managing Lifetimes**: Understand how Rust uses lifetimes to prevent dangling references and ensure safe memory access with the `lifetime_tracking` module.### 7. **Safe Concurrency** ๐งต
- **Concurrency without Data Races**: Check out how Rust handles concurrency safely, making data races a thing of the past, in the `safe_concurrency` module.## ๐ Getting Started
To get started with exploring these examples:
```bash
git clone https://github.com/Lexxn0x3/sw_sec_presentation.git
cd rust-security-features-demo
cargo run
```## ๐ค Contributing
Contributions are welcome! If you have improvements or corrections to the demos, please feel free to fork the repository and submit a pull request.
## ๐ License
This project is licensed under the MIT License - see the [LICENSE](LICENSE) file for details.