This package contains the F# and F7 source files to aid in the verification of a distributed key-management system. This new component implements a data-protection API for groups of clients. To enable long-term data protection, it supports cryptographic agility so cryptography algorithms and policies can evolve for protecting fresh data while preserving access to old data. To verify the security of our design and production code, written in C#, we write a reference implementation in F#. Formally, we verify our F# code against a logical cryptographic model using F7, a refinement type checker coupled with a model checker. Experimentally, we test that the corresponding C# and F# code fragments are interchangeable.

Distributed Key-Manager Verification

Pex (Program EXploration) is a white-box test generation tool. Given a hand-written parameterized unit test, Pex analyzes the code to determine relevant test inputs fully automatically. The result is a traditional unit test suite with high code coverage.

Pex – Automated Whitebox Testing for .NET (32 bit)

This post is part of the For Your Inspiration Monday Series showcasing the most inspiring designs out there. Each week a new artist or design style will be presented in order to get your creative juices flowing for the upcoming week. I hope you enjoy the series.
Patrick Monkel is a freelance graphic designer from the Netherlands who works under the name of Monk Studio. You might have come across his website which has been featured in many “minimal webdesign showcases”. Today, I want to focus on Patrick’s actual design work. His style is very popular at the moment, using all the lightning techniques many want to learn. What I like most about the work is that Patrick Monkel manages to get very vibrant images with the use of mute colours. This just goes to show the amazing talent of this outstanding designer. Find below a selection of his work. Make sure to visit Patrick’s portfolio for even more inspiration.

FYI Monday: Beautiful Lightning Design by Patrick Monkel

This post is part of the free calendar wallpaper series. Each month I create a new wallpaper featuring the current calendar. Looking at the same image over and over again is not very stimulating. Hence having a new desktop background each month should help getting your creative juices flowing. June 2010 Calendar Wallpaper is entitled “Spectrum”. It’s been created entirely in Photoshop using shapes, brushes and textures. I hope you like it.
As always the June 2010 calendar wallpaper comes in the following resolutions and non-calendar versions are also included:

• 1920×1200 (suitable for 1440×900)
• 1600×1200
• 1280×1024
• 320×479 (iPhone, non-calendar version only)

Preview:

Download the June 2010 Calendar Wallpaper Set:

contains 1 .zip file – 2 Versions, 3 Resolutions (incl. iPhone), 3.7 Mb

Download “In Too Deep” iPhone / iPod Touch Wallpaper:

For those accessing the site on their iPhone or iPod Touch you can simply save the image below and set it as your wallpaper.

Spectrum: Free June 2010 Calendar Wallpaper

Wallpapers are one of the best things that can spice up our desktop/s. Through these we are able to personalize and apply our mood to our own desktop. Today, more and more desktop users are going for triple widescreen monitors. To help these users customize their desktops, we have collected wallpapers that would fit your triple screens well.

In this next post, we will be showcasing 44 Different Triple Screen Wallpapers. We have selected triple screen wallpapers of different categories for you to choose from. Above all, these are all free to download. Come take a peek and choose your pick.

A Collection of 44 Different Triple Screen Wallpapers

Single page websites may be described as websites that constitutes all of its features in one page. In this kind of design visitors need not to load different pages just to find what they are looking for and this can give your website an advantage to the rest. But to make this effective, it is of importance to have a creative design to your website to make it more fun and lively.

In our next post, we will be showcasing examples of Beautiful Single Page Design. We have collected different creatively made single page design websites to give you an overview on this interesting concept. Come, take a peek, and be inspired.

Web Design Inspiration: 55 Beautifully Made Single Page Designs

Five Ways to Improve Your Graphic Design Business

The "We Make Awesome" Trend

Adobe Lightroom 3 is Available

GIMP Select By Color and Adjustment Layers