Filters








79 Hits in 1.3 sec

Scalable validation of binary lifters

Sandeep Dasgupta, Sushant Dinesh, Deepan Venkatesh, Vikram S. Adve, Christopher W. Fletcher
<span title="2020-06-15">2020</span> <i title="ACM"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpubwsjaozha5itdes6pzyz2fm" style="color: black;">Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation</a> </i> &nbsp;
Validating the correctness of binary lifters is pivotal to gain trust in binary analysis, especially when used in scenarios where correctness is essential.  ...  Second, I show that formal translation validation of single instructions for a complex ISA like x86-64 is not only practical but can be used as a building block for scalable full-program validation.  ...  Developing Techniques for Scalable Validation of Binary Lifters The main contribution here is the development of a scalable approach to do full program level validation that does not require any heavyweight  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3385412.3385964">doi:10.1145/3385412.3385964</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pldi/DasguptaDVAF20.html">dblp:conf/pldi/DasguptaDVAF20</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3khjl5gbmnetjay23fk3sc2ktu">fatcat:3khjl5gbmnetjay23fk3sc2ktu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201104155823/https://www.ideals.illinois.edu/bitstream/handle/2142/107968/DASGUPTA-DISSERTATION-2020.pdf?sequence=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6e/36/6e3656801f4858a64b719ba9e8cffe751034d793.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3385412.3385964"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Discrete element simulation of mill charge in 3D using the BLAZE-DEM GPU framework

Nicolin Govender, Raj K. Rajamani, Schalk Kok, Daniel N. Wilke
<span title="">2015</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/q4jlvcjs45dd7b4eglnjvg2aiy" style="color: black;">Minerals Engineering</a> </i> &nbsp;
The Discrete Element Method (DEM) simulation of charge motion in ball, semi autogenous (SAG) and autogenous mills has advanced to a stage where the effects of lifter design, power draft and product size  ...  Utilizing the parallelism of the GPU a 3D simulation of an industrial mill with four million particles takes 1.16 hour to simulate one second (12 FPS) on a GTX 880 laptop GPU.  ...  (b) We now check if this vector is valid. If (E Dir i · L PE ) > 0, where E Dir i is the direction of the lifter edge, then the charge profiles obtained with both codes.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.mineng.2015.05.010">doi:10.1016/j.mineng.2015.05.010</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mpszj2p6cbb6zckhgklbhbsdxq">fatcat:mpszj2p6cbb6zckhgklbhbsdxq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180724172251/https://repository.up.ac.za/bitstream/handle/2263/49659/Govender_Discrete_2015.pdf;jsessionid=73308036C3A0D1F390443D36E3F94C95?sequence=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9f/29/9f29701a0c5c470142439419766c112f9909c294.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.mineng.2015.05.010"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Get rid of inline assembly through verification-oriented lifting [article]

Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Laurent Mounier, Marie-Laure Potet
<span title="2019-10-01">2019</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This usually results in driving state-of-the-art formal analyzers developed for C ineffective.  ...  Extensive experiments on real-world C code with inline assembly (including GMP and ffmpeg) show the feasibility and benefits of TInA.  ...  Binary-code lifters Binary-code lifters are the cornerstones of modern binarylevel analyzers.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1903.06407v2">arXiv:1903.06407v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mb2fwhs2rbfv3g5za6mspbgnm4">fatcat:mb2fwhs2rbfv3g5za6mspbgnm4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200903113110/https://arxiv.org/pdf/1903.06407v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/45/e1/45e133c11d1e97fc58f7410a3ea6b9f4111a397e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1903.06407v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Similarity of binaries through re-optimization

Yaniv David, Nimrod Partush, Eran Yahav
<span title="">2017</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpubwsjaozha5itdes6pzyz2fm" style="color: black;">Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017</a> </i> &nbsp;
We present a scalable approach for establishing similarity between stripped binaries (with no debug information).  ...  We present a technique that is scalable and precise, as it alleviates the need for heavyweight semantic comparison by performing out-of-context re-optimization of procedure fragments.  ...  Acknowledgment We would like to thank the developers of angr.io, which was instrumental in our research.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3062341.3062387">doi:10.1145/3062341.3062387</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pldi/DavidPY17.html">dblp:conf/pldi/DavidPY17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qoeejww4nvamrktbspy2sciqp4">fatcat:qoeejww4nvamrktbspy2sciqp4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190218135331/https://static.aminer.org/pdf/20170130/pdfs/pldi/dxyqraa4zh6xis9pmvwofyrcium8hqjt.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/98/f7/98f7709542eafb5dd987e235bacce03d581cdfec.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3062341.3062387"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Quantization of Speech Features: Source Coding [chapter]

Stephen So, Kuldip K. Paliwal
<span title="">2008</span> <i title="Springer London"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2zwb6qalljesljeooadcc6uqrq" style="color: black;">Advances in Pattern Recognition</a> </i> &nbsp;
Furthermore, we highlight the importance of noise robustness in DSR and describe the use of a perceptually weighted distance measure to enhance spectral peaks in vector quantization.  ...  We have analyzed the statistical properties of MFCCs that are most relevant to quantization, namely the correlation and probability density function shape, in order to determine the type of quantization  ...  Each codeword has a unique binary word or index associated with it so each input sample is substituted with this binary word before transmission.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-84800-143-5_7">doi:10.1007/978-1-84800-143-5_7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xvf3qefxhfcv5mahty7zt7k64a">fatcat:xvf3qefxhfcv5mahty7zt7k64a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829200338/https://maxwell.ict.griffith.edu.au/spl/publications/papers/book_ch_so.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5c/b2/5cb257da984932b0113f017076c3302886956ff3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-84800-143-5_7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

End-to-End Learning of Multi-category 3D Pose and Shape Estimation [article]

Yigit Baran Can, Alexander Liniger, Danda Pani Paudel, Luc Van Gool
<span title="2022-03-09">2022</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In this paper, we study the representation of the shape and pose of objects using their keypoints.  ...  Our method can handle occlusions as well as a wide variety of object classes. Our experiments on three benchmarks demonstrate that our method performs better than the state-of-the-art.  ...  To validate the end-to-end pipeline, we report results with three settings: 1) Lifter and transformer are trained separately without context vector (Ours/TR); 2) Lifter and transformer are trained end-to-end  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2112.10196v2">arXiv:2112.10196v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/j7owd4tlyze4bk2q3r5fwofayq">fatcat:j7owd4tlyze4bk2q3r5fwofayq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220312045725/https://arxiv.org/pdf/2112.10196v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/65/36/6536cf19ddb2e963bba5825c35081c3c5a632fac.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2112.10196v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

BinRec

Anil Altinay, Joseph Nash, Taddeus Kroes, Prabhu Rajasekaran, Dixin Zhou, Adrian Dabrowski, David Gens, Yeoul Na, Stijn Volckaert, Cristiano Giuffrida, Herbert Bos, Michael Franz
<span title="2020-04-15">2020</span> <i title="ACM"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/m52bwee6j5hgxdqcfnxtfxy5we" style="color: black;">Proceedings of the Fifteenth European Conference on Computer Systems</a> </i> &nbsp;
We identify and address a number of challenges in binary lifting, including unique challenges posed by our dynamic approach.  ...  In this paper, we present BinRec, a new approach to heuristic-free binary recompilation which lifts dynamic traces of a binary to a compiler-level intermediate representation (IR) and lowers the IR back  ...  Comparison with static lifters BinRec reliably lifts and recompiles a large number of real-world binaries.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3342195.3387550">doi:10.1145/3342195.3387550</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/eurosys/AltinayNKRZDGNV20.html">dblp:conf/eurosys/AltinayNKRZDGNV20</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/luiav7fu7zgtlahwcpt6wvkp3a">fatcat:luiav7fu7zgtlahwcpt6wvkp3a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210718000453/https://lirias2repo.kuleuven.be/bitstream/handle/123456789/664570/2020_EuroSys_BinRec.pdf;jsessionid=066742E599F1379636FFFE5AFD6B91DE?sequence=2" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c8/52/c852c9c24328011b42c908c1c43c19418524d071.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3342195.3387550"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Provably secure memory isolation for Linux on ARM

Roberto Guanciale, Hamed Nemati, Mads Dam, Christoph Baumann
<span title="2016-12-01">2016</span> <i title="IOS Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/spxf4rshtfhgvoxv3apocfge6m" style="color: black;">Journal of Computer Security</a> </i> &nbsp;
The scalability of the approach has been shown in [19] , where it was used to verify the binary code of a complete separation kernel.  ...  The scalability of the approach has been shown in [19] , where it was used to verify the binary code of a complete separation kernel.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/jcs-160558">doi:10.3233/jcs-160558</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ugvovbh3brbcbahkgi5flgigrm">fatcat:ugvovbh3brbcbahkgi5flgigrm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720101358/http://kth.diva-portal.org/smash/get/diva2:1054670/FULLTEXT01" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b8/96/b896d2edf256295664ab8c8147463e1c5aa28664.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/jcs-160558"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Towards assessing the complexity of object migration in dynamic, feature-oriented software product lines

Stephan Adelsberger, Stefan Sobernig, Gustaf Neumann
<span title="">2013</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wa3vuzcwpngijonis3kzgcnjq4" style="color: black;">Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems - VaMoS &#39;14</a> </i> &nbsp;
Strategies to resolve scalability issues: As pointed out in Section 4.4, the tactic of calculating all valid products (see Figure 2 ) does not scale to SPLs of approx. 100 or more features.  ...  The performance and scalability problems we experienced are due to the operation that is classified by Benavides et. al [5] as "all products", i.e., meaning to calculate all valid configurations of a  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2556624.2556645">doi:10.1145/2556624.2556645</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/vamos/AdelsbergerSN14.html">dblp:conf/vamos/AdelsbergerSN14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6doijx7yd5fzjpbkksozmf7voi">fatcat:6doijx7yd5fzjpbkksozmf7voi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170420181257/http://nm.wu-wien.ac.at:80/research/publications/b1012.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/1b/68/1b68c2be2eadc8ac169de15d1a93caad056d87b7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2556624.2556645"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

CASA-Based Robust Speaker Identification

Xiaojia Zhao, Yang Shao, DeLiang Wang
<span title="">2012</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zcz4ey2iwffxtgaodtf5jtebmy" style="color: black;">IEEE Transactions on Audio, Speech, and Language Processing</a> </i> &nbsp;
In real-world environments, mismatch caused by background noise, room reverberation or competing voice significantly degrades the performance of such systems.  ...  Therefore there is no need of cepstral liftering for GFCC.  ...  In addition, the scalability of the proposed systems to speaker set size is critical for real applications, so our last objective is to systematically investigate the scalability of GMMbased and DNN-based  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tasl.2012.2186803">doi:10.1109/tasl.2012.2186803</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5wqehvp5u5hgrm4dr3utrjvs3u">fatcat:5wqehvp5u5hgrm4dr3utrjvs3u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922030806/https://etd.ohiolink.edu/!etd.send_file?accession=osu1402620178&amp;disposition=inline" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/cb/1c/cb1c71d209028a6412e380658d8bb1ee39f0a879.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tasl.2012.2186803"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Robust Speech Hashing for Digital Audio Forensics

Diego Renza, Jaisson Vargas, Dora M. Ballesteros
<span title="2019-12-28">2019</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/smrngspzhzce7dy6ofycrfxbim" style="color: black;">Applied Sciences</a> </i> &nbsp;
of a crime.  ...  The method starts with the application of MFCC (Mel-frequency cepstrum coefficients) and the reduction of dimensions through the analysis of main components (principal component analysis, PCA).  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/app10010249">doi:10.3390/app10010249</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kbx3e33wuzbgblhdppwh2wv46a">fatcat:kbx3e33wuzbgblhdppwh2wv46a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191231004623/https://res.mdpi.com/d_attachment/applsci/applsci-10-00249/article_deploy/applsci-10-00249.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f7/8a/f78a281633a7eb0b5efe7dd0bfd804ffc3577c32.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/app10010249"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> mdpi.com </button> </a>

Implementing layered designs with mixin layers [chapter]

Yannis Smaragdakis, Don Batory
<span title="">1998</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We describe mixin layers from a programming language viewpoint, discuss checking the consistency of a mixin layer composition, and analyze the language support issues involved.  ...  explicitly and then checking that the type is indeed valid).  ...  The main point of this paper is that encapsulation of mixins within mixins is a central concept in scalable implementations of layered designs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0054107">doi:10.1007/bfb0054107</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7nrltvqs7fexnhb2c7a2ic2ppm">fatcat:7nrltvqs7fexnhb2c7a2ic2ppm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20080221171310/http://www.cs.cornell.edu/andru/cs711/2002fa/reading/mixin-layers.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/71/14/7114906ed44de345008e67eeb7aad20eba50b01d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0054107"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

SOK: (State of) The Art of War: Offensive Techniques in Binary Analysis

Yan Shoshitaishvili, Ruoyu Wang, Christopher Salls, Nick Stephens, Mario Polino, Andrew Dutcher, John Grosen, Siji Feng, Christophe Hauser, Christopher Kruegel, Giovanni Vigna
<span title="">2016</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/inod5dqjxfdj3bnjykkklcg7d4" style="color: black;">2016 IEEE Symposium on Security and Privacy (SP)</a> </i> &nbsp;
However, the importance of binary analysis is on the rise. In many situations binary analysis is the only possible way to prove (or disprove) properties about the code that is actually executed.  ...  In this paper, we present a binary analysis framework that implements a number of analysis techniques that have been proposed in the past.  ...  Rather than writing our own "IR lifter", which is an extremely time-consuming engineering effort, we leveraged libVEX, the IR lifter of the Valgrind project. libVEX produces an IR, called VEX, that is  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/sp.2016.17">doi:10.1109/sp.2016.17</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sp/Shoshitaishvili16.html">dblp:conf/sp/Shoshitaishvili16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dw3axxn4mbczjmhpwhwd5jnfe4">fatcat:dw3axxn4mbczjmhpwhwd5jnfe4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180723021322/https://ieeexplore.ieee.org/ielx7/7528194/7546461/07546500.pdf?tp=&amp;arnumber=7546500&amp;isnumber=7546461" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8d/0a/8d0a150bd390ba3f9f32f7b12cda58edf436aa3f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/sp.2016.17"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

DOTS: An Open Testbed for Industrial Swarm Robotic Solutions [article]

Simon Jones, Emma Milner, Mahesh Sooriyabandara, Sabine Hauert
<span title="2022-03-25">2022</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
It consists of 20 fast agile robots with high sensing and computational performance, and real-world payload capability.  ...  TABLE I : I Features of the DOTS robots Specification Value Notes Diameter 250 mm Height 145 mm Lifter lowered 197mm Lifter raised Weight 3 kg Lifter max load 2 kg Max velocity 2 ms −1 Max acceleration  ...  The Zenoh protocol is designed to overcome the deficiencies of DDS regarding discovery scalability [32] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2203.13809v1">arXiv:2203.13809v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zksizy44sngv7ciegjw2grjnuu">fatcat:zksizy44sngv7ciegjw2grjnuu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220330214522/https://arxiv.org/pdf/2203.13809v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/87/4b/874b2aac19667d07ba375e9dd713e1437e2b08f3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2203.13809v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Automating Information Flow Analysis of Low Level Code

Musard Balliu, Mads Dam, Roberto Guanciale
<span title="">2014</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rau5643b7ncwvh74y6p64hntle" style="color: black;">Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security - CCS &#39;14</a> </i> &nbsp;
The tool transforms ARMv7 binaries into an intermediate, architecture-independent format using the BAP toolset by means of a verified translator.  ...  Information flow properties create additional complications: They are hyperproperties relating multiple executions, and the possibility of interrupts and concurrency, and use of devices and features like  ...  This process uses a lifter that is produced from the Cambridge HOL4 model of ARMv7 [28] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2660267.2660322">doi:10.1145/2660267.2660322</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ccs/BalliuDG14.html">dblp:conf/ccs/BalliuDG14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kbbl7y5ofnbenhaqqxukilztlu">fatcat:kbbl7y5ofnbenhaqqxukilztlu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922023446/http://kth.diva-portal.org/smash/get/diva2:743673/FULLTEXT01" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/79/52/79524383a7981cb39cd1a100c64dd4082c6a6777.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2660267.2660322"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 79 results