2026/05 8

SecLeaf Q2 CTF 2026, Double Trouble Write Up

하나밖에 못풀었지만, 하나라도 푼 사람Double TroubleWe intercepted a suspicious encoded transmission during routine monitoring.Analysts believe the message was processed through multiple transformation layers before being transmitted.Can you recover the original message?0-9와 a-f로 이루어진 16진수 바이트 배열(Hex string)임.따라서 16진수를 아스키로 인코딩함(가장 기본적인 16진수임)그리고 이걸 base64에서 평문으로 디코딩함.정답 포멧 7자리{}평문 디코딩 또한 7자리따라서 시저암호 추측해볼 수 있음. ..

해킹&CTF 2026.05.25

이산수학: 집합 ①

제1장: 명제 논리와 집합의 기초 (Foundations of Logic & Sets)1.1 논리학과 집합론세상의 모든 집합은 논리 연산로도 표현할 수 있다! 근데 굳이 왜 나누었냐 싶긴하지. 맞아요~ 얘네도 미묘한 차이가 있어요~ 논리연산집합대상명제, 조건식, 스위치 상태(T/F)원소들의 모임, 데이터의 집합, 공간목적데이터나 상황이 조건에 맞는지 틀린지 판별조건을 만족하는 객체(Object)들을 묶어서 관리하고, 전체적인 구조를 시각화예시"이 유저의 레벨이 50 이상인가?" → 맞다(True) / 아니다(False)"레벨이 50 이상인 유저들의 목록"→ [유저A, 유저B, 유저C ...]논리연산은 문지기고 집합은 문지기가 분류한 것들을 넣어놓은 방쯤 되시겠다.그래서 집합을 논리연산자로 표현할 수 있다..

이산수학 2026.05.19

이산수학: 논리 ②

목차​1. 논리와 명제2. 단순명제와 합성명제3. 논리연산자와 진리표4. 역, 이, 대우5. 항진명제와 모순명제6. 동치7. 추론8. 술어논리9. 변수의 명세와 한정화6. 동치 두 명제 p, q의 쌍방조건이 항진명제이면 논리적 동치(logical equivalence)라하고, p↔q, p⇔q, p≡q라고 표시한다.예로, 5와 2+3은 동치다.6-1. 동치 관계식작성은 하나 논리 연산자를 알고 있으면 굳이 볼 필요는 없다. 연산 흐름 따라가면 되기 때문이다.분류법칙 이름동치 관계식설명기본1. 멱등 법칙Idempotent Lawsp ∨ p ≡ p p ∧ p ≡ p동일 명제 반복 연산은 자기 자신​2. 교환 법칙Commutative Lawsp ∨ q ≡ q ∨ p p ∧ q ≡ q ∧ p순서 변경 가능​3. ..

이산수학 2026.05.17

이산수학: 논리 ①

목차​1. 논리와 명제2. 단순명제와 합성명제3. 논리연산자와 진리표4. 역, 이, 대우5. 항진명제와 모순명제​6. 동치7. 추론8. 술어논리9. 변수의 명세와 한정화1. 논리와 명제1-1. 논리논리는 말이나 글에서 사고나 추리 따위를 이치에 맞게 이끌어 가는 과정이나 원리이다.이 논리는 두가지로 나뉘는데, 그래서 그게 진짠지 가짠지 궁금한 명제논리(propositional logic)와문장을 객체와 그 객체의 성질을 나타내는 술어로 나눈 술어논리(Predicate logic)가 있다.​1-2. 명제(Proposition)참(T)인지 거짓(F)인지를 객관적이고 분명하게 판별할 수 있는 문장이나 식이다.​1-3. 진리값(truth value)그래서 일단 명제가 생겼으면 그게 찐인지 짜인지 구분한 걸 진리..

이산수학 2026.05.17

버프스위트를 이용한 웹 해킹, 인증 취약점: 비밀번호 변경을 통한 비밀번호 무차별 대입 공격

Changing user passwords 사용자 비밀번호 변경Typically, changing your password involves entering your current password and then the new password twice.일반적으로, 비밀번호를 바꾸는 것은 현재 비밀번호와 새로운 비밀번호 2회 입력을 포함합니다.These pages fundamentally(근본적으로) rely(의존한다) on the same process for checking that usernames and current passwords match as a normal login page does. 이 프로그램들은 같은 체크 프로그램을 기반으로 합니다. 그 프로그램은 사용자 이름(username)과 ..

버프스위트를 이용한 웹 해킹, 인증 취약점: 다른 인증 메커니즘의 취약점:미들웨어를 이용한 비밀번호 재설정 스푸핑

정상작동 사용자: 비번 바꿀거예욤 서버: ㅇㅇ 비번 바꿀 링크 이메일로 보내드림. 근데 이게 맞는지 확인해야하니까 토큰 만들어서 나랑 니 이메일이랑 나눠가질거임. 링크 주소는 "https://" + [서버 도메인(현재 접속한 Host 도메인)] + "/forgot-password?token=abc123xyz" 이런식일것임. 사용자: 이메일 링크 클릭 사용자 이메일: 서버야, 이 토큰에 해당하는 페이지 보여줘 서버: ㅇㅇ 비번 변경 페이지 이거임. 사용자: 비번 바꿈. 서버: ㅇㅇ 비번 바꿈 해커참여 해커: 서버야 피해자 비번 바꿀껀데, 이 주소로해서 링크 만들어줘(X-Forwarded-Host헤더 사용, 해커의 도메인을 포함) 서버: ㅇㅇ 비번 바꿀 링크를 피해자 이메일로 보내드림. 토큰도 만듦. 링크 ..