fa1c4-CSDN博客

如果报dll缺失错误, 在https://www.dll-files.com/下载相应的 32 / 64 bits 的dll文件拷贝到或者文件夹下即可运行无壳, 拖进IDA32, 直接逆main函数主要逻辑是走出地图, 要求步数恰好为50步, 并且往右走10次, 而且往右走之前需要往其他方向走2或者6次, 提取出地图数据打印出地图写一个算法搜索满足条件的路径, 并且找到一个路径需要和MD5值比较, 匹配hash值成功的50步路径即为解这个路径还需要注意, 因为main函数流程中要求往右的次数为10,

2022-06-29 02:00:00 353

原创 [分布式算法] 生成树广播与敛播

首先需要了解分布式算法的复杂度概念(1) 消息复杂度: 算法在所有容许的执行上发送msg总数的最大值(包括同步和异步系统)(2) 时间复杂度:①同步系统：最大轮数，即算法的任何容许执行直到终止的最大轮数。②异步系统：假设：①节点计算任何有限数目事件的时间为0； ②一条消息发送和接收之间的时间至多为1个时间单位，定义为：所有计时容许执行中直到终止的最大时间。(3) 空间复杂度(4) 性能衡量：最坏性能、期望性能消息的延迟发送msg的计算事件和处理该msg的计算事件之间所逝去的时间, 主要由msg

2022-06-23 05:30:00 642

原创 [分布式算法] 理论基础

分布式系统分类SMP (symmetric multiprocessor) 对称多处理机PVP (parallel vector processor) 并行向量机MPP (Massively parallel processor) 大型并行机COW (cluster of workstation) 工作站集群Internet 广域分布式而针对并行机(耦合/松散类型)有DSW (Distributed Shared Memory) 专用分布式共享存储分布式系统的优势可用性: 比如保证可靠性, 多个处理

2022-06-23 03:15:00 391

原创 [近似算法] 互补问题的近似解的关系

为什么两个互补的优化问题，一个有常数上界的性能比的近似算法时，其互补问题的近似解未必有常数上界的近似比？NPC的最优算法是彼此相关的, 但是近似算法常常彼此之间没有联系考虑两个NPC问题顶点覆盖(VC)和最大独立集(MIS)。设G(V,E)是图。VC问题：G的顶点覆盖是一顶点集C⊆V使得E中每条边至少有一端点在C中，VC问题是在图中找一个顶点数最小的覆盖。MIS问题：G的独立集是一顶点集I⊆V使得I里任何点对之间无边，MIS问题是在G中找一个最大的独立集设G是任意图，C是一顶点覆盖当且仅当I=V\C

2022-06-22 00:00:00 191

原创 [近似算法] 多机调度和装箱问题

Def 5 性能比设AAA是优化问题ΠΠΠ的一个近似算法，算法AAA在一个输入实例III上的性能比RA(I)R_A(I)RA(I)被定义为：RA(I)={A(I)OPT(I) if Π 是最小化问题 OPT(I)A(I) if Π 是最大化问题 R_{A}(I)=\left\{\begin{array}{l}\frac{A(I)}{O P T(I)} \text { if } \Pi \text { 是最小化问题 } \\\frac{O P T(I)}{A(I)} \text { if } \P

2022-06-16 11:36:37 898

原创 [近似算法] NP-hard 问题求解

若某NPH问题q有多项式时间算法，则任一NP问题皆可多项式时间归约到q，故任一NP问题也是多项式时间可解的，由此可得NP=P. 传统时间复杂度中n表示数据输入的规模，如排序中n表示被排序的数据元素个数。但这不够严谨，其标准化的定义应该是：一个问题的输入规模是保存输入数据所需要的位数（bit），在此基础上定义的时间复杂度是标准的时间复杂度。若一个算法的传统时间复杂度是多项式时间而其标准的时间复杂度不是多项式时间的，则该算法是伪多项式时间的。（例如朴素的素数判定算法）, 一个具有伪多项式时间复杂度的NPC问题

2022-06-16 06:00:00 3803

原创 [计算理论] P NP NPC NP-hard 问题

计算理论的基本概念, P, NP, NPC, NPH问题的定义和性质的有关知识

2022-06-16 03:00:00 1100

原创 [论文分享] PATA: Fuzzing with Path Aware Taint Analysis

PATA: Fuzzing with Path Aware Taint Analysis概述方法实验总结

2022-06-07 02:30:00 1295 1

原创 [论文分享] SoK: A Survey Of Indirect Network-level Covert Channels

SoK: A Survey Of Indirect Network-level Covert Channels [AsiaCCS 2022]Tobias Schmidbauer FernUniversität in HagenSteffen Wendzel Hochschule Worms概述在过去几年中, 间接网络级隐蔽通道经历了一次复兴, 出现了新的想法和不断发展的概念. 随着网络技术的发展, 现在可以跨越逻辑网络隔离, 且发送和接收活动可以在发送和接收操作之间的时间间隔下执行. 所有的间接网络

2022-05-29 01:45:00 403

原创 [论文分享] VoIP network covert channels to enhance privacy and information sharing

VoIP network covert channels to enhance privacy and information sharing [FGCS 2020]Jens Saenger FernUniversität in Hagen, GermanyWojciech Mazurczyk Warsaw University of Technology, PolandJörg Keller FernUniversität in Hagen, GermanyLuca Caviglione Inst

2022-05-28 01:30:00 196

原创 [论文分享] Automated Bug Hunting With Data-Driven Symbolic Root Cause Analysis

概述Automated Bug Hunting With Data-Driven Symbolic Root Cause Analysis [CCS 2021]成功网络攻击的成本增加导致了思维模式的转变, 防御者现在采用主动防御, 即软件bug查找, 以及现有的反应性措施(防火墙、入侵检测系统、入侵防御系统)来保护系统. 但是, 从寻找错误到部署补丁的过程仍然是艰苦和昂贵的, 需要人类的专业知识, 而且仍然会错过严重的内存损坏. 为了应对这些挑战, 论文建议使用基于执行轨迹的符号重建状态(symboli

2022-05-10 05:30:00 418

原创 [论文分享] Stegozoa: Enhancing WebRTC Covert Channels with Video Steganography for Internet Censorship

概述Stegozoa: Enhancing WebRTC Covert Channels with Video Steganography for Internet Censorship Circumvention [AsiaCCS 2022]最近一个名为Protozoa的工具允许在WebRTC媒体流上建立高性能的点对点隐蔽通道, 然而容易受到中间人的攻击, 因为WebRTC应用程序依赖于WebRTC网关来协调用户连接. 在这种情况下, 控制WebRTC网关的对手可以检查媒体流的内容, 并简单地检测隐蔽

2022-05-03 10:44:32 554

原创 BUUCTF pwn wp 146 - 150

hitcontraining_playfmtgwctf_2019_easy_pwnbctf2016_bcloudasis2016_b00kswarmup

2022-04-30 03:30:00 589

原创 BUUCTF pwn wp 141 - 145

ciscn_2019_n_7qctf_2018_stack2falca@Ubuntu-2000:~/Desktop/qctf_2018_stack2$ file QCTF_2018_stack2;checksec QCTF_2018_stack2QCTF_2018_stack2: ELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dynamically linked, interpreter /lib/ld-linux.

2022-04-29 03:30:00 520

原创 BUUCTF pwn wp 136 - 140

pwnable_asmpicoctf_2018_echooojarvisoj_level6_x64npuctf_2020_level2[2020 新春红包题]3

2022-04-28 03:00:00 557

原创 BUUCTF pwn wp 131 - 135

rootersctf_2019_sropciscn_2019_s_6sctf_2019_easy_heapde1ctf_2019_weaponSWPUCTF_2019_p1KkHeap

2022-04-27 03:30:00 596

原创 [论文分享] Effective Detection of Multimedia Protocol Tunneling using Machine Learning

概述Effective Detection of Multimedia Protocol Tunneling using Machine Learning [USENIX 2018]github地址： https://github.com/dmbb/MPTAnalysis多媒体协议隧道可以通过将数据调制到流行的多媒体应用程序(如Skype)的输入中来创建隐蔽通道。为了有效，协议隧道必须是不可观察的，对手不能区分携带隐蔽信道的流和不携带隐蔽信道的流。然而，现有的多媒体协议隧道系统已经使用特别的方法进行了

2022-04-19 17:45:00 212

原创 [DiceCTF 2022] interview-opportunity

interview-opportunityint __cdecl main(int argc, const char **argv, const char **envp){ char buf[10]; // [rsp+6h] [rbp-1Ah] BYREF const char **v5; // [rsp+10h] [rbp-10h] int v6; // [rsp+1Ch] [rbp-4h] v6 = argc; v5 = argv; env_setup(argc, arg

2022-04-18 02:15:00 589

原创 [论文分享] Augmenting Decompiler Output with Learned Variable Names and Types

概述Augmenting Decompiler Output with Learned Variable Names and Types [USENIX 2022]一句话: 提出基于Transformer模型并在github开源代码上训练的DIRTY技术来改进反编译器恢复变量名和变量类型的质量论文贡献:(1) DIRT: 一个大规模的C代码公共数据集，用于训练模型重类型或重命名反编译的代码，由近100万个独特函数和3.68亿个代码标记(2) DIRTY: 一个开源的基于transformer的神经

2022-04-13 04:00:00 464

原创 [C/C++] 引用及 new/delete

引用C中变量没有引用的概念, 通常是使用指针进行编程. C++引入了引用, 而鼓励少用指针.举例说明int varA = 233;int& varB = varA;int *p = &varA;紧跟在类型声明后的&符号表示引用变量, 上例中varB即为varA变量的引用, 对比第三行int *p = &varA;这里的&则表示取变量varA的地址.引用不属于独立的数据类型, 必须依赖于一个变量而存在.并且只有声明, 没有定义, 在声明时就完成初始化.

2022-04-01 12:42:23 869

原创 BUUCTF pwn wp 126 - 130

gyctf_2020_documentciscn_2019_final_5roarctf_2019_realloc_magichouseoforange_hitcon_2016SWPUCTF_2019_login

2022-03-31 00:48:46 1738

空空如也

空空如也