Monday, October 20, 2014

Links of the day 20 - 10 - 2014

Today's links 20/10/2014 : Deep learning, Distributed System Model Checking, Man in the middle SSL attack, Buffer Bloat Benchmark
  • Stanford Unsupervised Feature Learning and Deep Learning Tutorial : everything is in the title :) 
  • TLA : Domain specific language for verifying complex and concurrent system by Leslie Lamport.  
  • SSLsplit : tool for man-in-the-middle attacks against SSL/TLS encrypted network connections. 
  • RRUL test suite : buffer bloat benchmark suit for analyzing network performance under the heavy workloads that typically induce bufferbloat and other networking problems.