# AlchemicalChef

## Docs

- [Active Directory Tier Model](https://docs.alchemicalchef.io/ad-tier-model/overview.md): Implement Microsoft's tiered administrative model to secure your Active Directory environment
- [AD Security Audit](https://docs.alchemicalchef.io/ad-tier-model/security-audit.md): Comprehensive Active Directory security auditing for privilege escalation, Kerberos, ADCS, and misconfigurations
- [Blog](https://docs.alchemicalchef.io/blog/index.md): Security insights, tool updates, research, rambling, and technical guides
- [Information Asymmetry](https://docs.alchemicalchef.io/blog/information-asymmetry.md): Lorem ipsum dolor sit amet, consectetur adipiscing elit
- [OODA Loops: How they work, why they matter](https://docs.alchemicalchef.io/blog/ooda-loops-incident-response.md): Why John Boyd's military decision-making framework impacts how your organization functions and communicates.
- [Specification-First AI Development](https://docs.alchemicalchef.io/blog/specification-first-ai-development.md): How formal models and machine-checkable specifications make AI write better code, and what happens when the proofs have gaps
- [Alloy Basics](https://docs.alchemicalchef.io/formal-methods/alloy-basics.md): A gentle introduction to Alloy for complete beginners. Learn why constraint-based modeling matters and write your first specifications.
- [Alloy Specification](https://docs.alchemicalchef.io/formal-methods/alloy-specification.md): Constraint-based ACL analysis for detecting privilege escalation attack paths across the AD tier model
- [Alloy Syntax Guide](https://docs.alchemicalchef.io/formal-methods/alloy-syntax-guide.md): Comprehensive reference for Alloy syntax, operators, and patterns. Everything you need to write production specifications.
- [Building Your First Formal Model](https://docs.alchemicalchef.io/formal-methods/building-first-formal-model.md): A step-by-step guide to translating a simple program into TLA+ and Alloy specifications
- [Formal Methods for Binary Analysis: Foundations](https://docs.alchemicalchef.io/formal-methods/formal-methods-binary-part1.md): Understanding symbolic execution, SMT solving, and abstract interpretation for reverse engineering. In short, the basics!
- [Formal Methods for Binary Analysis: Tools and Workflows](https://docs.alchemicalchef.io/formal-methods/formal-methods-binary-part2.md): Practical tools, concolic execution, and real-world workflows for applying formal methods
- [MacAlloy](https://docs.alchemicalchef.io/formal-methods/macalloy.md): A native macOS IDE for Alloy 6.2 with built-in SAT solving and temporal logic support
- [MacTLA](https://docs.alchemicalchef.io/formal-methods/mactla.md): A native macOS TLA+ verification toolbox with built-in model checking and state visualization
- [Formal Methods](https://docs.alchemicalchef.io/formal-methods/overview.md): Mathematical specifications that prove models of systems work correctly.
- [TCAS II Formal Specification](https://docs.alchemicalchef.io/formal-methods/tcas-formal-methods.md): A TLA+ specification of TCAS collision avoidance system per RTCA DO-185B
- [TLA+ Basics](https://docs.alchemicalchef.io/formal-methods/tla-basics.md): A gentle introduction to TLA+ for complete beginners. Learn why formal methods matter and write your first specifications.
- [TLA+ Specification](https://docs.alchemicalchef.io/formal-methods/tla-specification.md): Temporal logic specification for verifying AD tier model safety invariants and state transitions
- [TLA+ Syntax and Usage Guide](https://docs.alchemicalchef.io/formal-methods/tla-syntax-guide.md): A comprehensive introduction to TLA+ syntax, from set theory foundations to temporal logic and complete specifications
- [Introduction](https://docs.alchemicalchef.io/index.md): Documentation for enterprise security, architecture mapping, and incident response tools
- [Dependency Mapping Tool](https://docs.alchemicalchef.io/process-tools/dependency-mapping.md): Visualize and manage component interconnections across your enterprise architecture
- [Tabletop Exercise Framework](https://docs.alchemicalchef.io/tabletop-framework/overview.md): Create and conduct cybersecurity tabletop exercises based on CISA standards

## Optional

- [GitHub](https://github.com/AlchemicalChef)
- [Twitter](https://x.com/KeithRamphal)