https://github.com/ShivKushwah/PSec

Programming Language for creating Secure Distributed Systems leveraging Intel SGX
https://github.com/ShivKushwah/PSec

distributed-systems intel-sgx p-language programming-language psec security

Last synced: 1 day ago
JSON representation

Programming Language for creating Secure Distributed Systems leveraging Intel SGX

• Host: GitHub
• URL: https://github.com/ShivKushwah/PSec
• Owner: ShivKushwah
• License: mit
• Created: 2020-04-28T02:29:17.000Z (about 4 years ago)
• Default Branch: master
• Last Pushed: 2021-06-11T17:11:45.000Z (about 3 years ago)
• Last Synced: 2024-02-29T01:35:52.105Z (4 months ago)
• Topics: distributed-systems, intel-sgx, p-language, programming-language, psec, security
• Language: Jupyter Notebook
• Homepage:
• Size: 17.6 MB
• Stars: 5
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Lists

• Awesome-SGX-Open-Source - https://github.com/ShivKushwah/PSec

README

        
# The PSec Programming Language

A programming language for writing secure distributed systems by leveraging Intel SGX. Built on top of the [P programming language](https://github.com/p-org/P) for distributed systems.

[**Asia CCS 2021 Conference Paper**](https://dl.acm.org/doi/10.1145/3433210.3453113) [5-24-2021]

[**Conference Presentation**](https://youtu.be/HO_bTjuSyZk) [7-7-2021]

[**Conference Presentation Slides**](https://docs.google.com/presentation/d/1Z9GsMF3SJEn_ZwNQ-pQURpnAcxE5U-Ndlwq8fRTZ3zQ/edit?usp=sharing) [7-7-2021]

[**Master's Thesis**](https://www2.eecs.berkeley.edu/Pubs/TechRpts/2020/EECS-2020-83.html) [5-28-2020]

[**Learn&Verify Group Presentation Video**](https://youtu.be/QS-BgX-e180) [3-20-2020]

##### Build Instructions:  

Follow [this](docs/SGXInstallation.md) if Intel SGX and Docker are not installed [Recommended for compatibility].  

Follow [this](docs/RepoInstallation.md) if building this project on a pre-existing Intel SGX and Docker installation.

##### Running Instructions:

In order to run sample programs, follow [this](docs/Running.md).

##### Performance Testing Instructions:

For performance testing, read [this](docs/PerformanceTesting.md).

##### Other Documentation

The architecture of the codebase is documented [here](docs/ArchitectureOverview.md).

An example of the information flow analysis type checker is located [here](docs/InformationFlowTypeCheckerExample.p).