recentpopularlog in


« earlier   
Erays: Reverse Engineering Ethereum’s Opaque Smart Contracts
Interacting with Ethereum smart contracts can have potentially
devastating financial consequences. In light of
this, several regulatory bodies have called for a need to
audit smart contracts for security and correctness guarantees.
Unfortunately, auditing smart contracts that do
not have readily available source code can be challenging,
and there are currently few tools available that aid in
this process. Such contracts remain opaque to auditors.
To address this, we present Erays, a reverse engineering
tool for smart contracts. Erays takes in smart contract
from the Ethereum blockchain, and produces high-level
pseudocode suitable for manual analysis. We show how
Erays can be used to provide insight into several contract
properties, such as code complexity and code reuse in
the ecosystem. We then leverage Erays to link contracts
with no previously available source code to public source
code, thus reducing the overall opacity in the ecosystem.
Finally, we demonstrate how Erays can be used for
reverse-engineering in four case studies: high-value multisignature
wallets, arbitrage bots, exchange accounts, and
finally, a popular smart-contract game, Cryptokitties. We
conclude with a discussion regarding the value of reverse
engineering in the smart contract ecosystem, and how
Erays can be leveraged to address the challenges that lie
infosec  security  filetype:pdf  paper  toread  contracts  ethereum  cryptocurrency  vm  reverse-engineering 
3 hours ago by jabley
Ever wanted to try out .. SDF now offers a slice to its members
libre  VPS  freesoftware  HURD  GNU  vm  free  from twitter_favs
7 hours ago by geeknik
Oracle Linux containers security | Oracle Wim Coekaerts Blog
with Ksplice we provide the ability to ensure your host OS (whether using kvm or just containers) can be patched while all your VMs and/or containers continue to run without any impact whatsoever
security  vm  containers  docker 
13 hours ago by ltalley
Free Virtual Machines from IE8 to MS Edge - Microsoft Edge Development
Download free virtual machines to test Microsoft Edge and IE8 to IE11
resources  toolbbox  vm  windows  legacy  test 
21 hours ago by emak
Free Virtual Machines from IE8 to MS Edge - Microsoft Edge Development
Download free VMs to test Windows browsers using Virtuabox and other free emulators. No more pirating Fusion or Parallels just for this :)
microsoft  windows  testing  virtualbox  vm  ie  internetexplorer  webdevelopment 
3 days ago by betobeto
Batteries included vbox VM with CTF tools
vm  ctf  tools  environment 
5 days ago by breyguhn
Free Virtual Machines from IE8 to MS Edge - Microsoft Edge Development
Test Microsoft Edge and versions of IE8 through IE11 using free virtual machines you download and manage locally.
vm  browser  msft  code  Testing 
10 days ago by activescott
What are Vagrant and VirtualBox and How Do I Use Them? – Tania Rascia
I've gotten to the point in my web development career where I can no longer avoid the words
vagrant  tutorial  vm  howto  documentation  lamp  webdev  osx  install 
12 days ago by stechico
Elegant virtualization with Vagrant
Vagrant is an ingenious tool for standardizing virtual machine configuration. Inventor Mitchell Hashimoto introduces the tool succinctly in The Tao of Vagran...
vagrant  tutorial  vm  howto  documentation  lamp  webdev  osx  homebrew  install 
12 days ago by stechico

Copy this bookmark:

to read