lbrame / LPL-Solutions
Solutions to the assignments found in the popular logic textbook "Language, Proof and Logic" written by John Etchemendy and Jon Barwise
β7Updated 5 years ago
Alternatives and similar repositories for LPL-Solutions:
Users that are interested in LPL-Solutions are comparing it to the libraries listed below
- Generate Secure, Polymorphic, Evasive Payloadsβ13Updated last week
- β114Updated last month
- π§ The ultimate, community-curated resource for Beacon Object Files (BOFs) β tutorials, how-tos, deep dives, and reference materials.β60Updated this week
- Havoc C2 profile generatorβ77Updated 6 months ago
- Cobalt Strike BOF for evasive .NET assembly executionβ222Updated 3 weeks ago
- A PowerShell console in C/C++ with all the security features disabledβ228Updated last month
- Two new offensive techniques using Windows Fibers: PoisonFiber (The first remote enumeration & Fiber injection capability POC tool) Phanβ¦β261Updated 7 months ago
- (0day) Local Privilege Escalation in IObit Malware Fighterβ126Updated 3 weeks ago
- A PoC of the ContainYourself research presented in DEFCON 31, which abuses the Windows containers framework to bypass EDRs.β311Updated last year
- β105Updated last month
- NukeAMSI is a powerful tool designed to neutralize the Antimalware Scan Interface (AMSI) in Windows environments.β152Updated 3 months ago
- Proof of concept demonstrating a method of proxying syscalls indirectlyβ8Updated 9 months ago
- a modified CONTEXT based ropchain to circumvent CFG-FindHiddenShellcode and EtwTi-FluctuationMonitorβ92Updated last year
- MIPS VM to execute payloads without allocating executable memory. Based on a PlayStation 1 (PSX) Emulator.β113Updated 4 months ago
- A PoC for Early Cascade process injection technique.β176Updated 2 months ago
- BOF that finds all the Nt* system call stubs within NTDLL and overwrites with clean syscall stubs (user land hook evasion)β177Updated 2 months ago
- β215Updated 6 months ago
- Weaponizing DCOM for NTLM Authentication Coercionsβ206Updated 2 weeks ago
- a port of privkit bof for havocβ23Updated last year
- A marriage between Octoberfest7/OSEP-Tools and chvancooten/OSEP-Code-Snippets with some improvements/additionsβ58Updated 3 months ago
- Bypass Credential Guard by patching WDigest.dll using only NTAPI functionsβ237Updated 2 weeks ago
- Source generator to add D/Invoke and indirect syscall methods to a C# project.β177Updated last year
- A collection of position independent coding resourcesβ77Updated 2 months ago
- Python implementation of GhostPack's Seatbelt situational awareness toolβ257Updated 5 months ago
- Just another C2 Redirector using CloudFlare. Support multiple C2 and multiple domains. Support for websocket listener.β155Updated last month
- β153Updated 8 months ago
- PoC module to demonstrate automated lateral movement with the Havoc C2 framework.β301Updated last year
- A PoC to deploy a Sliver Agent with amsi bypass, process injection, hollowing and OpSecβ14Updated 6 months ago
- early cascade injection PoC based on Outflanks blog postβ214Updated 5 months ago
- BOF and Python3 implementation of technique to unbind 445/tcp on Windows via SCM interactionsβ300Updated 5 months ago