URLs.md

Table of Contents

• Unsorted
• EDA
• NFC, RFID, Smartcards
• Verilog
• VHDL
• Linux, Unix
• Formal Verification
• RF, SDR
• Search engines
• STM

Unsorted

• https://yurichev.com/blog
• https://codexgalactic.com/2016/05/21/5-qubit-quantum-computing-simulator/, https://github.com/corbett/QuantumComputing
• V7/x86 - x86 port of UNIX V7
• https://magcius.github.io/xplain/article/index.html
• Reverse Engineering a NAND Flash Device Management Algorithm
• http://hansklav.home.xs4all.nl/rpn/index.html
• https://web.archive.org/web/20061008153930/http://algebrafx2.earthforge.com/
• http://megaprocessor.com/
• http://labs.domipheus.com/blog/tpu-series-quick-links/
• http://n2pk.com/
• Designing an Intel 80386SX development board
• ARM: Assembly Language Programming
• ARM assembler in Raspberry Pi
• Writing your own startup code for Cortex-M
• Let's code a TCP/IP stack, 1: Ethernet & ARP
• http://c9x.me/compile/bib/
• Design of the RISC-V Instruction Set Architecture
• https://eklitzke.org/article-index
• https://www.reddit.com/r/tech_talks/
• https://lab.whitequark.org/
• PRU tips: Understanding the BeagleBone's built-in microcontrollers
• How to run C programs on the BeagleBone's PRU microcontrollers
• The Desktop Muon Detector
• https://codewords.recurse.com/issues/two/git-from-the-inside-out
• https://dberard.com/home-built-stm/
• https://www.evilsocket.net/2014/02/11/on-windows-syscall-mechanism-and-syscall-numbers-extraction-methods/
• http://files.righto.com/files/ken-shirriff-supercon.pdf
• https://www.happyassassin.net/2014/01/25/uefi-boot-how-does-that-actually-work-then/
• https://github.com/AnthonyCalandra/modern-cpp-features
• https://helentronica.com/blog/
• mermaid -- Generation of diagrams and flowcharts from text in a similar manner as markdown
• Computer Vision: Algorithms and Applications
• UEFI reverse engineering tools
• Advancing exploitation: a scriptless 0day exploit against Linux desktops
• Vim Visual Cheat Sheet
• https://www.bastibl.net/projects/
• https://www.nayuki.io/recent-pages/
• Writing a SAT Solver
• http://nullprogram.com/index/
• Bit Twiddling Hacks
• Hacking Windows 95, part 1, Hacking Windows 95, part 2
• Windows X86 System Call Table (NT/2000/XP/2003/Vista/2008/7/8/10), Windows X86-64 System Call Table (XP/2003/Vista/2008/7/2012/8/10)
• IBM 3270 terminal emulator
• http://www.pagetable.com/
• The Definitive C++ Book Guide and List
• Implementing Regular Expressions
• Papers We Love
• https://more-magic.org/
• ANALYSING THE BITSTREAM OF ALTERA'S MAX-V CPLDS
• From the bitstream to the netlist
• Attack Methodologies on Security Chips
• Decoupling Techniques
• Advances and Challenges in Reconfigurable Computing
• THE SECRET WORLD OF OSCILLOSCOPE PROBES
• Calculator Forensics
• http://wm.ite.pl/articles/
• Satellite Based IP Content Delivery Network
• http://dmitry.gr/index.php?r=05.Projects
• Reverse Engineering Samsung S6 SBOOT - Part I
• Attacking Nexus 9 with Malicious Headphones
• Git Internals - Source code control and beyond
• http://newandroidbook.com/AIvI-M-RL1.pdf
• USB-C for Engineers, Part 1, USB-C for Engineers, Part 2, USB-C for Engineers, Part 3
• Build Your Own Text Editor
• Multi-OS Engine – Technology Preview
• C-Reduce
• Adventures in Time, part 1: Interfacing an Oven Controlled Crystal Oscillator to a Computer Running NetBSD
• Photonic Crystals: Molding the Flow of Light
• CSCI 4974 / 6974 Hardware Reverse Engineering
• Elliptic Curve Cryptography Tutorial
• https://www.ocf.berkeley.edu/~abhishek/chicphys.htm
• Michael Abrash's Graphics Programming Black Book
• Structure and Interpretation of Classical Mechanics
• Structure and Interpretation of Computer Programs
• Reverse Engineering x86 Processor Microcode
• LeapSecond.com
• http://www.dvq.com/
• Let's Build a Simple Database - Writing a sqlite clone from scratch in C
• How To Retarget the GNU Toolchain in 21 Patches
• Poor Man’s 1-GHz
• Design of a low-cost 1 GHz Active Probe
• https://github.com/coreboot/coreboot/blob/master/util/romcc/romcc.c
• PC-MOS/386 v5.01 final release including cdrom driver sources
• S80186: 16-bit 80186 compatible IP core
• THE AMAZING $1 MICROCONTROLLER
• Let’s build an MP3-decoder!
• Let’s construct an elliptic curve: Introducing Crackpot2065
• WaveDrom -- Digital Timing Diagram everywhere
• Creating an Autonomous System for Fun and Profit
• Computer Science 152: Computer Architecture and Engineering
• LatticeMicro32 and Milkymist port for NetBSD
• Announced submissions to NIST's post-quantum crypto standardization project
• Writing a C Compiler, Part 1
• The Matrix Cookbook
• http://www.w140.com/tekwiki/wiki/Main_Page
• Algebra, Topology, Differential Calculus, and Optimization Theory For Computer Science and Engineering
• Fundamentals of Linear Algebra and Optimization
• Introduction to RAW-sockets
• https://quantumexperience.ng.bluemix.net/qx/experience
• Quantum Development Kit | Microsoft
• https://ha.cking.ch/s8_data_line_locator/
• Cowrie Honeypot, https://github.com/micheloosterhof/cowrie
• https://github.com/matlab2tikz/matlab2tikz
• https://github.com/nschloe/matplotlib2tikz
• Programmer's Guide to Meltdown
• Building an Operating System for the Raspberry Pi
• Hacking Printers Wiki
• An Introduction to Printer Exploitation #1
• RIGOL DS1054Z Oscilloscope Stand with Probe Holder
• Aneng AN8008 Modify For Better Accuracy Faster Readings
• THE SMD CODEBOOK
• IDA Support: Freeware Version
• Course materials for Modern Binary Exploitation by RPISEC
• A Simple Introduction to Particle Physics: Part I - Foundations and the Standard Model
• A Simple Introduction to Particle Physics: Part II - Geometric Foundations and Relativity
• Quantum circuit viewer: qasm2circ
• qcircuit, ftp://ftp.dante.de/tex-archive/graphics/qcircuit/qcircuit.pdf
• Best of Baker's Best e-books
• Scipy Lecture Notes
• A Physics Book List: Recommendations from the Net
• Quantum Algorithm Implementations for Beginners
• Stability Analysis Of Voltage-Feedback Op Amps
• Op Amps for Everyone Design Guide (Rev. B) - Texas Instruments
• Handbook of Operational Amplifier Applications
• https://www.tacc.utexas.edu/documents/13601/162125/fortran_class.pdf
• http://web.physics.ucsb.edu/~terler/quaternions.ps
• Taming math and physics using SymPy
• Street-Fighting Mathematics, The Art of Educated Guessing and Opportunistic Problem Solving, https://www.dropbox.com/s/722rlvrwy9l9w73/7728.pdf?dl=0
• A VLSI Analog Computer / Math Co-processor for a Digital Computer
• OpenModelica
• Hard 2632 - An Atari 2600 VCS Hardware Demo
• https://justanotherelectronicsblog.com/
• Parallel Programming for FPGAs
• DDA on FPGA - A modern Analog Computer
• MATLAB array manipulation tips and tricks
• Semiconductor Radioactivity Detector: Part II
• Airbus Notes
• How I'm able to take notes in mathematics lectures using LaTeX and Vim
• Matters Computational
• Smartphone and Tablet-Based Sensing of Environmental Radioactivity: Mobile Low-Cost Measurements for Monitoring, Citizen Science, and Educational Purposes
• Adrian's CMOS System-on-Chip Website - Home
• Snow Crystals
• Stabdosimeter FH 39
• Computational Science and Engineering
• PRACTICAL SUGGESTIONS FOR MATHEMATICAL WRITING
• https://www.bagaluten-werkstatt.de/blog/
• Modelica by Example
• PhysicsOpenLab
• http://wunderkis.de/en.html, http://wunderkis.de/de.html
• http://www.quiss.org/freespin/
• https://www.richis-lab.de/index.htm
• http://www.afug-info.de/Schaltungen-Eigenbau/IR-Tester/
• Configuring SPA122 ATA For Dial-Through
• Down the Rabbit Hole: A Close Look At Ethernet
• 11 GHz Solar Intensity Interferometer w/rtl-sdr and GNU Radio
• https://olegkutkov.me/
• Algorithmica

EDA

• gEDA: gschem, pcb, library, gerbv, icarus, gtkwave
• Open Circuit Design: Magic, XCircuit, IRSIM, Netgen, Qrouter, Qflow, PCB
• Whiteley Research
• KiCad EDA
• Fritzing
• Horizon
• LibrePCB
• Caneda, Circuits and Networks Electronic Design Automation, https://github.com/Caneda/Caneda
• QElectroTech
• KTechLab
• Qucs project: Quite Universal Circuit Simulator
• Gnucap: GNU Circuit Analysis Package
• ngspice
• Xyce - Parallel electronic simulation
• https://embedded.eecs.berkeley.edu/pubs/downloads/spice/
• Icarus Verilog
• Yosys Open SYnthesis Suite
• Project IceStorm
• iCE Floorplan
• SymbiFlow
• GTKWave
• Verilator
• Covered - Verilog Code Coverage Analyzer
• Verilog to Routing
• Electric, https://www.gnu.org/software/electric/electric.html
• OwlVision GDSII Viewer
• GHDL
• VHDL synthesis (based on ghdl)
• NVC VHDL compiler and simulator
• The FreeHDL Project (VHDL)
• slang - SystemVerilog Language Services
• ABC: A System for Sequential Synthesis and Verification
• CλaSH - From Haskell to Hardware
• GNU Octave
• SageMath
• Gnuplot
• Maxima, a Computer Algebra System
• wxMaxima
• Mathics, https://mathics.github.io/
• SciPy, NumPy, SymPy, matplotlib
• The R Project for Statistical Computing
• OpenSCAD: The Programmers Solid 3D CAD Modeller
• Elmer FEM, Elmer Community Portal
• SystemC, SystemC AMS
• SystemC AMS Proof of Concept
• GDL - GNU Data Language
• ROOT Data Analysis Framework
• Degate
• SapWin
• Logisim

NFC, RFID, Smartcards

• RFID Systems: Lecture Notes RFID-Systems, Lecture Notes RF Basics and Components
• http://kasper-oswald.de/chameleonmini/, Implementation Attacks: From Theory to Practice, SECURITY ANALYSIS OF PERVASIVE WIRELESS DEVICES
• https://schedule2013.rmll.info/IMG/pdf/rfid-practice.pdf, http://www.mulliner.org/nfc/, https://www.emsec.rub.de/media/crypto/attachments/files/2010/04/timo_kasper___embedded_security_analysis_of_rfid_devices.pdf
• http://ludovic.rousseau.free.fr/softwares/pcsc-tools/
• Proximity Security System
• How to Build a Low-Cost, Extended-Range RFID Skimmer
• Proximity Cards
• OPEN RFID Tag
• http://demo.skora.net/NFC_Talk.pdf
• Linux RFID/NFC userspace test application
• http://www.cnblogs.com/shangdawei/p/4834188.html

Verilog

• Complex Digital Systems
• Introduction to Verilog
• FPGA Prototyping by Verilog Examples
• http://www.clifford.at/papers/2007/verilog/slides.pdf
• Verilog-AMS Examples using SMASH
• Standard Gotchas -- Subtleties in the Verilog and SystemVerilog Standards That Every Engineer Should Know
• http://asic-world.com/verilog/index.html
• Verilog-AMS Language Reference Manual, http://accellera.org/downloads/standards/v-ams
• 1364-2005 - IEEE Standard for Verilog Hardware Description Language
• Advanced Synthesis Cookbook
• Recommended HDL Coding Styles

VHDL

• IEEE Std 1076 - IEEE Standard VHDL Language Reference Manual
• Digital Integrated Circuit Design, From VLSI Architectures to CMOS Fabrication, Top-Down Digital VLSI Design, From Architectures to Gate-Level Circuits and FPGAs
• The Designer's Guide to VHDL, 3rd Edition
• The System Designer's Guide to VHDL-AMS
• Writing Testbenches: Functional Verification of HDL Models
• FPGA Prototyping by VHDL Examples: Xilinx Spartan-3 Version
• HDL Chip Design: A Practical Guide for Designing, Synthesizing and Simulating ASICs and FPGAs Using VHDL or Verilog
• Application-Specific Integrated Circuits
• VHDL-AMS and Verilog-AMS as Alternative Hardware Description Languages for Efficient Modeling of Multidiscipline Systems

Linux, Unix

• Linux Device Drivers, Third Edition
• Linux Kernel Development (3rd Edition)
• Linux System Programming, 2nd Edition
• The Linux Programming Interface
• Unix Power Tools, 3rd Edition
• Expert C Programming: Deep C Secrets
• Searchable Linux Syscall Table for x86 and x86_64
• 64-bit Linux Return-Oriented Programming
• https://blog.lizzie.io/linux-containers-in-500-loc.html
• Darling macOS translation layer for Linux
• Exploring OpenVMS from “unsecure” NFS mount on linux
• JSLinux, jor1k: OpenRISC OR1K Javascript Emulator Running Linux With Network Support, Virtual x86
• Linux device driver labs
• tinywm, dwm - dynamic window manager
• Linux’s New GPIO User Space Subsystem & Libgpiod
• Infecting Running Processes
• OpenCL implementation running on the VideoCore IV GPU of the Raspberry Pi models
• A SCIENCE PROJECT: “MAKE THE 486 GREAT AGAIN!” – MODERN LINUX IN AN ANCIENT PC
• The AWK Programming Language
• GNU Awk
• Programming the Linux Framebuffer
• In-Memory-Only ELF Execution (Without tmpfs)
• Making a low level (Linux) debugger, https://blog.asrpo.com/making_a_low_level_debugger_part_2, https://blog.asrpo.com/making_a_low_level_debugger_part_3
• Learning KVM - implement your own Linux kernel
• Sys Admin Pocket Survival Guide
• Tilck (Tiny Linux-Compatible Kernel)
• The Raspberry Pi GPIB Shield, http://elektronomikon.org/Bakkarbeit%20RasPi-GPIB%20Thomas%20Klima.pdf
• Lotus 1-2-3 For Linux

Formal Verification

• Software Foundations
• The Coq Proof Assistant
• Isabelle
• CBMC - Bounded Model Checking for Software
• ESBMC (Efficient SMT-Based Context-Bounded Model Checker)
• The Z3 Theorem Prover
• The Yices SMT Solver
• Boolector
• ABC - A System for Sequential Synthesis and Verification
• Avy
• http://svn.clifford.at/handicraft/2017/tttm/README
• https://yurichev.com/tmp/SAT_SMT_DRAFT.pdf

RF, SDR

• Software Defined Radio and the RTL-SDR USB Dongle
• http://blog.svenbrauch.de/tag/hydrogen-line/
• http://ebrombaugh.studionebula.com/radio/iceRadio/index.html
• Under development open hardware microwave (500 MHz to 10 GHz) vector network analyzer
• http://www.sigidwiki.com/wiki/Signal_Identification_Guide
• Using the RTL2832 GPIO port
• RFM95W 868/915Mhz RF Transceiver Module
• Homemade GPS Receiver, http://www.aholme.co.uk/Projects.htm
• http://conference.hitb.org/hitbsecconf2017ams/materials/D1T4%20-%20Marc%20Newlin%20and%20Matt%20Knight%20-%20So%20You%20Want%20to%20Hack%20Radios.pdf
• RTL-SDR TUTORIAL: RECEIVING WEATHER BALLOON (RADIOSONDE) DATA WITH RTL-SDR
• https://github.com/strigeus/sparsnas_decoder
• http://ke5fx.com/
• osmo-fl2k: Using cheap USB 3.0 VGA adapters as SDR transmitter, https://osmocom.org/projects/osmo-fl2k/wiki/Wiki
• Software-Defined Radio for Engineers, https://www.analog.com/en/education/education-library/software-defined-radio-for-engineers.html
• Understanding the POCSAG paging protocol
• http://www.vlf.it/

Search engines

• Google Scholar
• Google Books
• IEEE Xplore Digital Library
• TechRxiv
• arXiv.org e-Print archive
• Microsoft Academic Search
• BASE (Bielefeld Academic Search Engine)
• PubMed Central

STM

German:

• https://web.archive.org/web/20150223192106/http://sxm4.uni-muenster.de/
• https://www.dgzfp.de/Portals/24/IZ/Langfassung%20Rheinland-Pfalz%202010.pdf?ver=QIifjI8VwUFeVHmgtQMhhw%3d%3d
• http://www.thomas-wilhelm.net/arbeiten/Rastertunnelmikroskop.pdf
• https://juser.fz-juelich.de/record/819717/files/Schluesseltech_55.pdf
• https://edoc.ub.uni-muenchen.de/27561/1/Kloft_Stephan.pdf
• https://onlinelibrary.wiley.com/doi/abs/10.1002/piuz.200490080
• https://duepublico2.uni-due.de/servlets/MCRFileNodeServlet/duepublico_derivate_00036840/Lange_Diss.pdf
• http://www.ralf-wehling.de/html/rastertunnelmikroskop.htm
• https://web.archive.org/web/20081009060818/http://www.iqo.uni-hannover.de/ap/40.html

English:

• https://dberard.com/home-built-stm/
• http://web.archive.org/web/20121107205242/http://www.geocities.com/spm_stm/Project.html
• http://www.e-basteln.de/other/stm/overview/
• https://www.media.mit.edu/nanoscale/courses/AFMsite/index.html
• https://www.angelfire.com/electronic2/spm/index.html
• http://web.archive.org/web/20090304013944/http://www.bsc.ustc.edu.cn/~jlyang/research/STMWebPage.html
• http://web.archive.org/web/20010810000325/http://nemesis.com.au/alfa/mystm.htm