maxvonhippel

Query to 3.5: 

> Let 0 < a < 1 and k = ceiling(a/(1-a)).  How can I prove that a <= k/(k+1)?

Response:

---------------


To prove that a ≤ k/(k+1) given that 0 < a < 1 and k = ceiling(a/(1-a)), we can proceed as follows:

maxvonhippel

%YAML 1.2
---
# See http://www.sublimetext.com/docs/syntax.html
file_extensions:
  - ivy
scope: source.example-c
contexts:
  main:
    # Strings begin and end with quotes, and use backslashes as an escape
    # character

maxvonhippel

%YAML 1.2
---
# See http://www.sublimetext.com/docs/3/syntax.html
file_extensions:
  - pvs
scope: source.pvs

contexts:
  # The prototype context is prepended to all contexts but those setting
  # meta_include_prototype: false.

maxvonhippel

This is a small collection of papers, presentations, and resources I have consumed and enjoyed or intend to read/reference/whatever down the line. Some items have unorganized sub-lists of related links and references below them, which provide additional context or information for further exploration.

CPS

• Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences. #cps, #fuzzing, #security. Already read.

  • Related simulator code for SWaT
  • Paper surveying related testbeds

• WADI testbed paper

maxvonhippel

import sys
import signal
import os
from ptyprocess import PtyProcessUnicode

# The purpose of this script is to serve as a wrapper around SPIN,
# providing functionality in interactive mode similar to stepping through
# an application, for instance in a MIPS emulator.
# See: http://spinroot.com/fluxbb/viewtopic.php?id=1662

maxvonhippel

This is intended to be a brief tutorial on having fun with Python.

Getting started.

Open the Terminal application on your Mac or Linux computer.
Open Sublime Text.
Type command n to create a new document. Type command s to save this document. When it asks for a path and file name, put it on your desktop, and save it as banana.py. Now, in your new file, write the following:

maxvonhippel

#!/usr/bin/python
# The purpose of this script is to turn a MAMADROID model into a cool visual figure
import matplotlib
matplotlib.use('Agg')
import networkx as nx
import ast
import matplotlib.pyplot as plt
from networkx.drawing.nx_agraph import graphviz_layout
# Begin the magic
G = nx.Graph()

maxvonhippel

# Clone MamaDroid
git clone https://bitbucket.org/gianluca_students/mamadroid_code.git mamadroid
# Get some malware to look at
git clone https://github.com/ashishb/android-malware.git malware
# Export variables
export JAVA_HOME=/Library/Java/JavaVirtualMachines/jdk1.8.0_131.jdk/Contents/Home/bin/
export JRE_HOME=/Library/Java/JavaVirtualMachines/jdk1.8.0_102.jdk/Contents/Home/jre/bin
export PATH=$JAVA_HOME:$JRE_HOME:$PATH
# Base dir variable for convenience
basedir=$(echo $(pwd)/mamadroid)

maxvonhippel

# -*- coding: utf-8 -*-
import urllib
import json
from pprint import pprint
# get the web page
url = 'https://www.rally-maps.com/Rallye-Monte-Carlo-2017/Agnières-en-Dévoluy-Le-Motty#ElevationChart'
f = urllib.urlopen(url)
# find the relevant line
for line in f:
	if 'elevationData:' in line:

maxvonhippel

Keybase proof

I hereby claim:

• I am maxvonhippel on github.
• I am maxvonhippel (https://keybase.io/maxvonhippel) on keybase.
• I have a public key whose fingerprint is C838 65C8 0ED2 4086 139B A9FA F27D 6C17 D2DD F2CA

To claim this, I am signing this object: