티스토리

HACK THE WORLD

검색하기

블로그 홈

HACK THE WORLD

juntheworld.tistory.com/m

HACK THE WORLD : 안녕하세요 이준학입니다.

구독자: 17

방명록 방문하기

주요 글 목록

L* Algorithm(L star Algorithm) 이란? - 개념/예제/이해하기 L* Algorithm(L start Algorithm) 이란?학생 - 선생학생은 선생님에게 두가지 종류의 질문을 질문할 수 있음Membership Query : word w 가 언어 L 에 속하는지 아닌지 선생님은 yes or no를 답함Equivalence Query : DFA H가 L을 허용하는지 아닌지 여부. 허용하면 True 아니면 반례를 리턴함 x ∈ L\\L(H) ∪ L(H)\\L → L(H)는 무슨 뜻?언어 L을 성공적으로 학습하려면 유한한 쿼리 내에서 DFA를 잘 guess 해야함.Language 라 하는 것은예제: 로그인 프로토콜 추론L* 알고리즘을 사용하여 네트워크 프로토콜을 추론하는 예제를 살펴보자.아래는 학습자가 **네트워크 프로토콜의 상태와 동작(==Language)**을 추론하.. 공감수 0 댓글수 1 2024. 10. 30.
tmux 에서 마우스쓰기 https://velog.io/@yoonene/tmux-%EB%A7%88%EC%9A%B0%EC%8A%A4-%EC%8A%A4%ED%81%AC%EB%A1%A4-%EC%82%AC%EC%9A%A9%EB%B2%95 tmux 마우스 스크롤 사용법set -g mouse onvelog.io vim ~/.tmux.conf 파일 생성set -g mouse on을 추가하고 저장tmux 재실행 tmux source ~/.tmux.conf 공감수 0 댓글수 1 2024. 10. 16.
fsb 이젠 좀 이해하기 (어떻게 arbitrary write가 되는가?) fsb의 무시무시한 점은1. 임의주소에2. 원하는 값을쓸 수 있다는 것이다. 임의 주소에 쓸 수 있는 이유는 %187c%11$hhn 덕분이고원하는 값을 쓸 수 있는 이유는 %187c%11$hhn 덕분이다. 여기서 또 레전드인게 임의주소인 이유는 %11$인자 위치에 있는'그 주소에' 값을 쓸 수 있기 때문이다. (&의 개념 -> printf("%s", buf) 처럼. %s는 buf(char *) 를 참조한다.) 따라서 %11$ 위치에 원하는 주소를 입력하고 %(원하는 값)c 이용해서 원하는 값을 만들면 된다. 공감수 0 댓글수 0 2024. 9. 27.
VMware에서 vagrant up 할때 오류해결 & 실행법 사용한 커맨드와 문제상황vagrant box add junbox jun.boxvagrant init junboxvagrant upvagrant ssh 에러메세지vagrant up Bringing machine 'default' up with 'virtualbox' provider...==> default: Clearing any previously set forwarded ports...==> default: Clearing any previously set network interfaces...==> default: Preparing network interfaces based on configuration... default: Adapter 1: nat==> default: Forwardi.. 공감수 0 댓글수 0 2024. 9. 26.
ROP와 튜링완전성 튜링 완전성(Turing Completeness)이란 컴퓨터 시스템이나 프로그래밍 언어가 **튜링 기계(Turing Machine)**와 동일한 계산 능력을 가지고 있음을 의미합니다. 즉, 튜링 완전성을 갖춘 시스템은 적절한 알고리즘과 메모리 자원이 주어진다면 이론적으로 어떠한 계산 문제도 해결할 수 있다는 것을 뜻합니다. 튜링 완전성의 개념은 **앨런 튜링(Alan Turing)**의 이론적 모델에서 유래한 것으로, 모든 계산 가능한 함수나 프로그램을 처리할 수 있는 가상의 기계를 기반으로 하고 있습니다. 튜링 기계는 무한한 테이프(메모리)와 이를 읽고 쓸 수 있는 헤드를 가지고 있고, 정해진 규칙에 따라 동작하는 모델로, 그 계산 능력의 기준을 설정한 것입니다.예시로 설명하면:프로그래밍 언어: 튜링 .. 공감수 1 댓글수 1 2024. 9. 23.
대한민국 전문연구요원제도 이해하기 (2024.9월기준) 필자는 현재 -IST 계열 전산학부 대학원에 재학중인석사과정 미필 학생이다. 100% 본인이 이해한 바에 근거하여 작성하였으며 오류가 있을 수 있다. 대한민국 전문연구요원제도 이해하기 2024년 9월기준 대한민국엔 1. 석사전문연구요원 2. 박사전문연구요원 크게 두가지의 전문연구요원제도가 있음 (전부 3급이상 현역기준) 1의 경우 석사학위취득 후 병역지정업체에서 3년간 근무 2의 경우 박사학위취득기간 + 1년 병역지정업체에서 근무 하는 것으로 군복무를 대체함 전문연제도에 관심있는 사람의 가장 중요한 고민은 "내가" "어떻게" 할 수 있는가 일 것이다. 이에 집중해서 써보면 1의 경우 나를 병역지정업체에서 선발을 해주면된다. 쉽게 말해 특정한 회사에 골라서 취업을 하면 되는 것. 따라서 해당 회.. 공감수 4 댓글수 1 2024. 9. 20.
GitHub에서 push 했을때 유저 이름이 바뀌어있는경우 해결 깃허브를 사용할때원격 repository 를 clone해서 쓰거나 fork 이후에 나의 작업물들을 remote repository에 push 후에이름이 이상하게 기록된 경우가 있을 수 있다. 그럴땐 아래와 같이 해결해주면 된다.// check my name & emailgit config user.name git config user.email// change my name & emailgit config --local user.name junfuture1103 git config --local user.email junhak1103@naver.com 공감수 0 댓글수 0 2024. 9. 20.
Ubuntu 에서 포트번호와 프로세스 확인하여 킬하기 https://hbase.tistory.com/227 [Linux] 특정 포트를 사용하는 프로세스 확인리눅스에서 데몬을 띄우다보면 "BindException : Address already in used : bind" 같은 예외를 발생시키면서 구동되지 않는 경우가 있다. 데몬이 사용하려고하는 포트를 이미 시스템에서 다른 프로세스가 사hbase.tistory.com 공감수 1 댓글수 0 2024. 9. 10.
Vim을 이용한 Line Breaks (자동 줄바꿈 하기) set tw 이용 gqap 특정 보고서 포맷에 맞게끔 원하는 text width에 맞게 긴 문장의 글을자동으로 줄바꿈하는것이 필요할때가 있다. 자동줄바꿈(Line Breaks) 전The rapid advancement of technology in recent years has led to significant changes in various industries, including healthcare, finance, education, and communication, where innovations such as artificial intelligence, machine learning, blockchain, and the Internet of Things are reshaping the way we live, work, a.. 공감수 2 댓글수 2 2024. 9. 3.
Mysql Access denied Error 해결법 Enter password: ERROR 1698 (28000): Access denied for user 'root'@'localhost' 인증 플러그인 변경:MySQL에 sudo로 접속:sudo mysql플러그인 변경: MySQL 프롬프트에서 다음 명령어를 실행하여 root 사용자의 인증 방식을 변경합니다.여기서 your_new_password는 새로운 비밀번호로 설정합니다.ALTER USER 'root'@'localhost' IDENTIFIED WITH mysql_native_password BY 'your_new_password';변경 사항 적용:FLUSH PRIVILEGES;MySQL에서 로그아웃:EXIT;다시 로그인 시도:mysql -u root -p 공감수 0 댓글수 0 2024. 8. 22.
AFL++ qemu mode 이해하기 (High-performance binary-only instrumentation for afl-fuzz) AFL qemu mode를 이해하고 사용하기위해 아래링크의 글을 읽어본다. AFL++의 qemu mode를 사용하면 Snapshot mode, Deferred initialization, Persistent mode를 사용할 수 있다.참고로 필자는 바이너리의 실행시점에서 initialize 과정을 bypass해서 퍼징의 성능을 높이고 싶어, Snapshot mode를 사용하는 방법을 익히고싶어 이 글을 읽게되었다. https://github.com/AFLplusplus/AFLplusplus/blob/stable/qemu_mode/README.md AFLplusplus/qemu_mode/README.md at stable · AFLplusplus/AFLplusplusThe fuzzer afl++ is af.. 공감수 0 댓글수 0 2024. 8. 8.
AFL++ custom mutator 이해하기 (1) - file input으로 넣기 0. 들어가며https://aflplus.plus/docs/custom_mutators/ Custom Mutators | AFLplusplusThe AFLplusplus websiteaflplus.plus AFL++에는 custom mutator 라는 기능이 있다. 이를 이용해 grammer based input을 생성해내도록하거나 file input이 아닌 다른 방법으로 input을 전달할 수 있도록 고칠 수 있다고 하는데, 어떻게 하면 그렇게 사용할 수 있을지 사용해보았다. AFL++는 기본적으로 파일을 입력으로 받는 프로그램에 대해서만 input을 전달하는 기능을 제공하기때문에, 이를 잘 이용하면 grammer based input을 udp와 같은 다양한 채널로 전송할 수 있을거라는 가정으로 분석해.. 공감수 0 댓글수 9 2024. 7. 24.
cFS 커맨드 추가하는 방법 (Add a command to sample_app 실습) cFS 커맨드 추가하는 방법을 알아본다. cFS Training 자료의 Add a command to sample_app 실습을 따라해보고 커맨드를 추가하는 과정을 남긴다.간단해서 자세한 설명은 생략한다. 공감수 0 댓글수 0 2024. 6. 27.
SUCHAI-FS-Fuzzy-Testing 빌드 및 실행 SUCHAI-FS-Fuzzy-Testing 을 이용해 칠레대학교의 위성 소프트웨어인 SUCHAI를 퍼징해본다.SUCHAI-FS-Fuzzy-Testing 레포지토리는 주요 모듈들이 python으로 구현되어있어 별도의 빌드없이 편리하게 실행해볼 수 있다. https://gitlab.com/tamigr.2293/SUCHAI-FS-Fuzzy-Testing Tamara / SUCHAI-FS-Fuzzy-Testing · GitLabGitLab.comgitlab.com pip dependency 설치다음과 같은 디펜던시들을 설치해준다.파이썬 모듈을 실행하기위해 필요한 디펜던시들이다.pip install fuzzingbookpip install markdown suchai-fs-fuzzy-testing 설치 및 실행.. 공감수 0 댓글수 0 2024. 6. 5.
DEF CON 29 Aerospace Village - Fuzzing NASA Core Flight System Software, Ronald Brobert Reproduce NASA의 cFS를 타겟으로 네트워크 퍼저인 fuzzotron을 이용해 퍼징했던DEF CON의 연구를 reproduce 해본다. 아래 링크를 참고하였다. DEF CON 29 Aerospace Village - Fuzzing NASA Core Flight System Software, Ronald Brobert cFS Configuration & Fuzzotron Fuzzing SettingcFS와 Fuzzotron 세팅은 아래 링크를 참고하면 좋다. https://juntheworld.tistory.com/190 cFS 설치 및 실행하는방법Part1 - Setup아래 깃허브 링크에서 cFS를 git clone 해준다.https://github.com/nasa/cFS GitHub - nasa/cFS: Th.. 공감수 0 댓글수 3 2024. 6. 4.
SUCHAI (The Satellite of the University of Chile for Aerospace Investigation) 설치하기 The Satellite of the University of Chile for Aerospace Investigation (SUCHAI) 는 칠레대학교(Physics and Mechanical Engineering Departments of the Faculty of Physical and Mathematical Sciences (FCFM) at University of Chile)에서 만든 CubeSat 오픈소스다. 이 suchai를 설치하는 방법에 대해 정리한다. 빌드 디펜던시 설치 sudo apt install libzmq3-devsudo apt install pkg-config libcsp 빌드CSP(CubeSat Protocol)는 CubeSat과 같은 소형 우주선에서의 통신을 위해 설계된.. 공감수 0 댓글수 0 2024. 5. 27.
Fuzzotron 을 이용한 NASA cFS(Core Flight System) 퍼징하기 1. 소개Fuzzotron이라는 네트워크 퍼저를 이용해 UDP 패킷을 cFS 프로그램으로 전송하여 퍼징을 진행했다.cFS를 설치하는 것은 아래 링크를 참고하면 좋다.https://juntheworld.tistory.com/190 cFS 설치 및 실행하는방법Part1 - Setup아래 깃허브 링크에서 cFS를 git clone 해준다.https://github.com/nasa/cFS GitHub - nasa/cFS: The Core Flight System (cFS)The Core Flight System (cFS). Contribute to nasa/cFS development by creating an account on GitHub.github.comgijuntheworld.tistory.com 참고.. 공감수 0 댓글수 0 2024. 5. 12.
RACC와 CACC 만족하는 테스트 케이스 쉽게찾기 소프트웨어 동적분석에서 Logic Coverage로 분류되는 RACC(Restricted Active Clause Coverage)와 CACC(Correlated Active Clause Coverage)가 있다. RACC와 CACC를 만족하는 test case를 쉽게 찾는 방법을 알아보자. 좀 더 정확하게는 RACC와 CACC의 차이점 구별하는 방법을 쉽게 생각해보자. Predicates 와 Clauses 우선 기본 용어이다. predicate(술어)는 boolean으로 평가되는 표현식(expression)을 뜻한다. clause(절)은 logical operators( ! && || ..) 이 없는 predicate를 뜻한다. (a = n*o) 아래 예시에서 .. 공감수 0 댓글수 0 2024. 4. 23.
cFS 설치 및 실행하는방법 Part1 - Setup아래 깃허브 링크에서 cFS를 git clone 해준다.https://github.com/nasa/cFS GitHub - nasa/cFS: The Core Flight System (cFS)The Core Flight System (cFS). Contribute to nasa/cFS development by creating an account on GitHub.github.comgit clone https://github.com/nasa/cFS.gitcd cFS# submodule 설치git checkout bootes-rc2git submodule initgit submodule update 이때 submodule update를 해주면 아래와 같이 뜨며cFS/apps/*cFS/.. 공감수 0 댓글수 0 2024. 4. 22.
Canary 우회 ( __fortify_fail() 및 환경변수env를 이용한 Arbitrary Read) 1. flag 값을 전역변수(주소를 알고있는) 에 저장하는 루틴이 있음 2. 주어진 함수나 ROP를 이용해 write할 수 있는 방법이 없음(출력 -> leak 불가) 3. __fortify_fail() 을 이용하여 환경변수에서 파일 이름을 가져오는 경우 사용할 수 있는 canary leak 방법이다. int __cdecl main(int argc, const char **argv, const char **envp) { char buf[256]; // [esp+4h] [ebp-10Ch] BYREF unsigned int canary; // [esp+104h] [ebp-Ch] canary = __readgsdword(0x14u); read_flag(); read(0, buf, 512); return 0; .. 공감수 0 댓글수 0 2024. 4. 17.
C언어 가변인자함수 구현 (...) C 언어에서 ... 키워드는 가변 인자 목록(variadic arguments)을 의미합니다. 이 키워드는 함수가 고정된 수의 인자 대신 다양한 수의 인자를 받을 수 있게 해 줍니다. 이는 특히 여러 다른 타입의 인자를 다루거나, 호출 시점에 정확한 인자의 수가 결정되지 않는 경우에 유용합니다. 가변 인자 함수의 구현 방법 가변 인자 함수를 구현할 때는 다음과 같은 표준 라이브러리 매크로를 사용합니다: va_list: 인자 목록을 처리하기 위한 변수 타입입니다. va_start: 가변 인자 목록의 초기화를 시작합니다. 첫 번째 매크로 인자는 va_list 타입이고, 두 번째는 가변 인자 바로 앞의 고정된 인자입니다. va_arg: 가변 인자 목록에서 다음 인자를 가져옵니다. 이 매크로는 리스트와 반환할 .. 공감수 0 댓글수 0 2024. 4. 12.
Stub 함수란 Stub이란? "Stub"은 소프트웨어 개발과 테스트에서 사용되는 용어로, 특히 단위 테스트에서 중요한 역할을 합니다. Stub은 실제로 구현된 복잡한 로직이나 외부 시스템과의 연결을 대신하는 간단하고 제어 가능한 구현을 제공합니다. 이를 통해 개발자는 테스트하고자 하는 부분에 집중할 수 있으며, 테스트가 외부 요소의 영향을 받지 않도록 보장합니다. Stub의 주요 용도: 의존성 제거: Stub을 사용하여 데이터베이스, 네트워크 호출, 하드웨어 입력 등 외부 시스템과의 의존성을 제거할 수 있습니다. 테스트 간소화: 테스트할 시스템을 보다 단순화하여, 오류를 찾기 쉽고 테스트를 빠르게 실행할 수 있습니다. 결과 예측 가능: Stub은 예측 가능한 값을 반환함으로써 테스트 결과의 일관성을 보장합니다. 상태 .. 공감수 0 댓글수 0 2024. 4. 12.
git submodule 기능 (git submodule init / git submodule update) git submodule init과 git submodule update 명령어는 Git의 서브모듈과 관련된 명령어입니다. 서브모듈은 다른 저장소를 현재 저장소의 하위 디렉토리로 포함시키고 싶을 때 사용합니다. 이를 통해 외부 라이브러리나 공통으로 사용되는 구성 요소들을 관리할 수 있습니다. git submodule init 이 명령어는 서브모듈을 초기화합니다. 즉, .gitmodules 파일에 기록된 서브모듈의 정보를 로컬 .git/config 파일로 복사합니다. 이 과정에서 서브모듈의 URL과 브랜치 정보가 설정되지만, 실제로 서브모듈의 콘텐츠를 다운로드하진 않습니다. 서브모듈을 처음으로 추가할 때나, .gitmodules 파일이 변경되었을 때 필요합니다. git submodule update 이 명.. 공감수 0 댓글수 0 2024. 3. 25.
Ubuntu에서 sys/syscall.h: No such file or directory 해결 위와 같이 -m32 옵션을 주어 32비트로 바이너리를 컴파일하려고할때 다음과 같이 오류가 발생하는 경우가 있다. fatal error: sys/syscall.h: No such file or directory 1 | #include | ^~~~~~~~~~~~~~~ compilation terminated. make: *** [Makefile:13: shellcode.o] Error 1 sys/syscall.h는 리눅스의 표준 C라이브러리의 일부이기 때문에 윈도우에서 실행했을때는 해당 라이브러리를 못찾을 수 있지만, 우분투에서 찾지못하는건 상당히 당황스럽다. 우분투에서 우분투의 표준 C 라이브러리가 설치되지않은 상황이기때문에, 이를 적절히 설치해주면된다. 64비트의 경우 : 64비트 시스템에서 32비트 어.. 공감수 0 댓글수 0 2024. 3. 13.
위성 서비스를 사용하는 user segment에서 space segment로 데이터를 전송하는 경로 본래 user segment는 위성에서 제공하는 서비스를 수신하는 역할을 주로한다. 예를들어 TV 방송, 인터넷 서비스, GPS 신호 등이 포함된다. 하지만 특별한 경우 user segment에서 위성으로 데이터 요청을 보내는 상황이 있을 수 있다. 예를들어 위성 기반의 지구 관측 서비스에서 사용자가 특정 지역의 이미지 캡처를 요청할 수 있다. 이 경우, 사용자의 요청은 위성에게 특정 작업을 수행하도록 지시하는 트래픽을 생성하며, 이 트래픽은 PDHS에 의해 처리된다. 이때 논문 그림에 나타는 PD Fetcher로 직접 데이터를 전송하는 것이 아니다. 사용자 단말기(user segment)에서 발생한 트래픽을 기지국으로 전달하여 기지국에서 TC 형태로 전달한다. 이 TC는 PLCOM Rx → PLCOM .. 공감수 0 댓글수 0 2024. 3. 11.
Ubuntu에 ida free 설치하는 방법 (설치후 qt.qpa.plugin: Could not load the Qt platform plugin "xcb" in "" even though it was found 문제해결) 아래 주소에서 IDA Free for Linux 설치 idafree84_linux.run 다운 받은 뒤에 chmod +x idafree84_linux.run ./idafree84_linux.run xcb 오류해결 sudo apt-get update sudo apt-get install -y qt5-default libxcb-xinerama0-dev qt5-default가 설치가 안되면 아래로 해결 sudo apt-get install qtbase5-dev qtchooser qt5-qmake qtbase5-dev-tools https://csm-kr.tistory.com/114 qt.qpa.plugin: Could not load the Qt platform plugin "xcb" in error 해결하기.. 공감수 0 댓글수 0 2024. 3. 11.
인공위성 펌웨어 해킹을 위한 인공위성관련 용어정리 Satellite Operations Components 관련 용어 ground segment satellite operation의 센터. operators 팀이 GroundStation(GS, 기지국)을 이용해 위성에게 instruction(TC)을 보냄 TC(Telecommand) : GS → 위성 보내는 instruction TM(Telemetry) : 위성 → GS로 보내는 응답 information (about the satellite’s status, errors, and other metrics) TC는 space protocol(우주 프로토콜)을 사용하며 TC와 TM 데이터의 조합을 TC/TM traffic이라함 space segment satellite operation에 필요한 모든 s.. 공감수 0 댓글수 0 2024. 3. 11.
Xu et al. Neural Network-based Graph Embedding for Cross-Platform Binary Code Similarity Detection. (CCS 2017) 요약 ABSTRACT cross-platfrom 바이너리 코드 유사성 탐지는 approximate graphmatching algorithms에 의존한다. 이 방식은 느리고 정확하지않음 이에 신경망을 기반으로 바이너리 코드 유사성을 탐지하는 방법을 제안한다. 이를통해 취약한 펌웨어를 잘 식별하고 Deep learning for Security의 성공사례를 제시 INTRODUCTION 바이너리 코드 유사성 감지는 표절 감지, 악성 코드 감지, 취약점 검색 등 다양한 보안 응용 분야에서 활용되며 점점 바이너리 코드 유사성 감지가 주목받고 있음 특히 IOT 펌웨어 이미지에서 취약점 검색은 매우 중요함 단일 소스 코드 수준의 버그가 다양한 하드웨어 아키텍처와 소프트웨어 플랫폼을 가진 수백 개 이상의 기기에 퍼질 수 .. 공감수 0 댓글수 2 2024. 3. 5.
Mysql Database 백업파일 생성 및 DB 옮기는 법 (.sql 및 mysqldump 사용법) mysql을 이용하다가, database를 통째로 옮겨 다시금 로컬환경에 db를 설치해야하는 경우가 있다.그때 mysql database를 복사하여 이동하는 방법을 남기고자한다. (MySQL 설치 안되어있을시) MySQL 설치sudo apt updatesudo apt install mysql-server설치후 아래와 같이 접속가능# 방화벽 허용sudo ufw allow mysql# MySQL 실행sudo systemctl start mysqlsudo systemctl enable mysql# (참고) MySQL 중지sudo systemctl stop mysql# MySQL root 계정으로 접속sudo mysql -u root (백업파일 생성) Database 를 .sql 파일로 만들어주기# 기존 DB에.. 공감수 0 댓글수 0 2024. 2. 15.
Visual Studio 프로젝트 이름변경 https://woof.tistory.com/1619 Visual Studio 2022 프로젝트/솔루션 이름 변경기존의 VS project를 놔두고 이를 수정하여 새로운 프로그램을 만들때 프로젝트/솔루션 이름 변경하고자 할떄 사용 - VS가 하나의 Solution에 여러개 이름의 project 이름을 가질 수 있도록은 되어있는woof.tistory.com 프로젝트 복붙하고 이름 바꿀때. 도대체 리팩토링 기능 외않만듬? 공감수 0 댓글수 0 2024. 2. 13.

728x90

문의안내

티스토리
로그인
고객센터

티스토리는 카카오에서 사랑을 담아 만듭니다.