Fool Proof

THC-RWWWShell is proof-of-concept Perl program for the paper "Placing Backdoors through Firewalls". It allows communicating with a shell through firewalls and proxy servers by imitating webtraffic. The master/slave relation is reversed, therefore no listening ports are used on the target...

KBoot project is a proof-of-concept implementation of a Linux boot loader based on kexec. KBoot uses a boot loader like LILO or GRUB to load a regular Linux kernel as its first stage. Then, the full capabilities of the kernel can be used to locate and to access the kernel to be booted. KBoot...

Cibet is a handy framework designed to offer developers interfaces and classes to introduce audit - proof archiving and logging and dual control mechanisms like four-eyes principle and six-eyes principle into their applications. The Cibet framework helps to control the execution of important...


Platforms: Windows

With this MOD installed every user has the impression that he is an admin


Platforms: Windows, *nix, PHP, BSD

Probably overkill for most sitemaps, but this is a neat proof of concept that fades different d-deDUlayersd-deDt of the sitemap to different colors as they are rolled over with the mouse.


Platforms: JavaScript

ViperProof enables you to show various aspects of social proof on your blog, in order to help you get more feed subscribers. You can show off the number of posts you've written, how many comments your site has, how many Twitter followers you have, and how many Facebook fans you have.There's also...


Platforms: PHP

Allow your users to proof their real identity in your blog. Your users will be able to identify in your blog using their electronic ID and they will show a certified profile in their comments.This plugin requires php_openssl module working on your php installation in order to comunicate with...


Platforms: PHP

Allow your users to proof their real identity in your blog. Your users will be able to identify in your blog using their electronic ID and they will show their verified identity in their comments.This plugin requires php_openssl module working on your php installation in order to comunicate with...


Platforms: PHP

Do you like jokes or to fool others? Then, this program is for you. Choose deskop effect - it will be shown in preview window. You can choose some effects to run. Just select them with mouse. Button "Start" - launches effect in fullscreen mode. Button "WallPaper" - sets new wallpapers with effect...


Platforms: Windows

When you delete a file normally, the operating system doesn`t physically delete it, but "hides" it. Then it marks its sector as unoccupied for if it might be necessary to write another file over it. Until that happens, that data continues to be physically stored on disc, with the danger that...


Platforms: Windows

HOL short from Higher Order Logic is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An oracle mechanism gives access to external programs such as SAT and...


Platforms: *nix

Developed in the LogiCal project, the Coq tool is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: the definition of interactively evaluated functions or predicates, to state mathematical theorems and software...


Platforms: Mac

Just in time for April Fool's, a fake kernel panic for your favorite prank victim. Have it pose as a regularly used app, and hide the original, and watch as their favorite application makes them scream for fear of losing data. More fun can be had if you trigger it remotely with Apple Remote...


Platforms: Mac

This is a proof of concept Lunar Electric Rover simulator, designed by Frassanito and Associates, in conjunction with Petter Sundnes, Rommany Allen, and Chilton Webb. This simulator is based around NASAs Constellation Program architecture. It lets you drive the LER around on the moon, dock with...


Platforms: Mac

dotBrowser is a handy, easy to use multi-tab web browser, being proof-of-concept of .NET System.Windows.Forms.WebBrowser module using. for WindowsAll


Platforms: Windows

Grammarly is an automated proofreading and grammar checking tool. Grammarly uses world's most accurate grammar checking technology to find mistakes in your writing and then provides straight-to-the-point explanations and suggestions for improvement. With Grammarly, you not only will be protected...


Platforms: Windows

Durak (Fool) limits the number of players to 6. The deck of 36 cards is shuffled, and each player receives 6 cards. The top card on the remaining deck is made visible and placed at the bottom of the deck across it (so that its denomination is seen). This determines the trump suit and the revealed...


Platforms: Windows

ClearPass (formerly BlowPass) is web based password storage system that uses the Blowfish algorithm and a Host-Proof design pattern.


Platforms: Windows, Mac, Linux

In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.


Platforms: Windows, Mac, Linux

A simple web-logging system, created as a proof-of-concept. Fully standards compliant and accessible, it is designed to quickly set up a functional and structured site to conveniently track related and unrelated items. Written in PHP, using a flat-file, XML database, outputting an XHTML page...


Platforms: Windows, Mac, Linux