Important pages are Ms Waiver, Coms E6998 Hyperscale Infrastructure and Spoq Scaling Machine-Checkable Systems Verification In Coq. In the following table you'll find the 10 most important pages of Nieh.net:
# | Description | URL of the website |
---|---|---|
1. | MS Waiver | /teaching/mswaiver |
2. | COMS E6998 Hyperscale Infrastructure | /teaching/e6998 |
3. | Spoq Scaling Machine-Checkable Systems Verification in Coq | /pubs/osdi2023_spoq.pdf |
4. | Design and Verification of the Arm Confidential Compute Architecture | /pubs/osdi2022_cca.pdf |
5. | BlackBox A Container Security Monitor for Protecting Containers on Untrusted Operating Systems | /pubs/osdi2022_blackbox.pdf |
6. | Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware | /pubs/sosp2021_vrm.pdf |
7. | DistAI Data-Driven Automated Invariant Learning for Distributed Protocols | /pubs/osdi2021_distai.pdf |
8. | Encrypted Cloud Photo Storage Using Google Photos | /pubs/mobisys2021_esp.pdf |
9. | A Secure and Formally Verified Linux KVM Hypervisor | /pubs/ieeesp2021_kvm.pdf |
10. | Protecting Cloud Virtual Machines from Commodity Hypervisor and Host Operating System Exploits | /pubs/security2019_hypsec.pdf |
The websites of Nieh.net are served by a Apache server. Due to the robot information on the webpage, the following actions by webcrawlers are not allowed: archiving the website. All other actions by webcrawlers are allowed.
IP address: | 128.59.16.27 |
Server provider: | COLUMBIA-GW |
Number of websites: | 3 - more websites using this IP address |
Best-known websites: | Stroustrup.com (little known) |
Language distribution: | 100% of the websites are english |
Webserver software: | Apache, Version 2.4.48 |
Operating system: | Unix/Linux (Unix) |
Load time: | 1.35 seconds (slower than 69 % of all websites) |
Robot information: | NOARCHIVE |
Filesize: | 37.71 KB (1150 recognized words in text) |
The website doesn't contain questionable content. It can be used by kids and is safe for work.
Attribute | Classification | |
---|---|---|
Google Safebrowsing |
Safe | |
Safe for children |
||
Safe for work |
||
Webwiki rating |
No ratings | |
Server location |
United States, New York | |
Trustworthy 85% |