Bookmarks
Research Resources
- Security and Privacy Conference Deadlines
- Systems Conference Deadlines
- How to Look for Ideas in Computer Science Research | by Zhiyun Qian | Digital Diplomacy | Medium
Security & System
- Model Checking Methods for Security Protocols
- wcventure/FuzzingPaper: Recent Fuzzing Paper
- arXiv.org > cs > cs.CR: Cryptography and Security
- arXiv.org > cs > cs.OS: Operating Systems
- MIT CSAIL Parallel and Distributed Operating Systems Group
- SyNeRCyS@Illinois | Systems Security Research Group at UofI
- Project Everest
- Project Everest - Microsoft Research
- Center for Automotive Embedded Systems Security (CAESS)
- Blockchain Security | Secure, Reliable, and Intelligent Systems Lab
Programming Languages
- arXiv.org > cs > cs.PL: Programming Languages
- MIT Programming Languages & Verification Group
- PLV Github
Others
- arXiv.org > cs > cs.RO: Robotics
- Machine Learning for Autonomous Driving @ NeurIPS
- ML4AD 2020
- ML4AD 2019
- ML4AD 2018
- ML4AD 2017
- ML4AD 2016
- CPS Datasets from iTrust
- Networking Events – The Networking Channel
Blogs
- Sean Heelan's Blog – Program analysis, verification and security
- PLV@MIT
- 404 Not Found, a security blog
- Project Zero
- Nick Feamster – Medium
- Great Research – Medium
- CAVlinks – A sharing platform for the Computer-Aided Verification community
Online Tools & Services
- rist4fun
- ECDSA sample
- Base64 Decode and Encode - Online
- A Neural Network Playground
- SVG to PNG conversion tool
- Matrix Calculus
- Kaitai Web IDE, an online binary editor/visualizer
- SCIgen - An Automatic CS Paper Generator
- Internet Archive: Digital Library of Free & Borrowable Books, Movies, Music & Wayback Machine
- Internet Archive: Wayback Machine
- The Internet Arcade : Free Software : Download & Streaming : Internet Archive
- Just Delete Me | A directory of direct links to delete your account from web services.
- Github: jdm-contrib/jdm
- ClearDarkSky
- 中国色 － 中国传统颜色
- Paletton - The Color Scheme Designer
Writing
- Grammarly: Free Online Writing Assistant
- Linggle 10^12- Language Reference Search Engines - NLPLab
- Thesaurus.com | Synonyms and Antonyms of Words at Thesaurus.com
- Acronymify! - Automatically generate fun acronyms for your project
- Tests Document Readability