ARMOREDSOFTWARE.GITHUB.IO

ArmoredSoftware

Trusted execution in the cloud. January New Project Members. ArmoredSoftware is an effort to build a cloud infrastructure where software can protect itself rather than relying exclusively on its environment. The armor associated with a process provides remote attestation and appraisal techniques that support assessing the trustworthiness of its operational environment. Using that information, the armor decides what steps should be taken to protect its associated process. January New Project Members.

http://armoredsoftware.github.io/

OVERVIEW OF armoredsoftware.github.io

TRAFFIC RANK

>1,000,000

REVIEWS

0

PAGES IN THIS WEBSITE

12

LINKS TO THIS WEBSITE

CONTACTS

ADDRESSES

SOCIAL LINKS

ONLINE SINCE

WEBSITE DETAILS

SEO

PAGES

SIMILAR SITES

TRAFFIC RANK FOR ARMOREDSOFTWARE.GITHUB.IO

TODAY'S RATING

>1,000,000

TRAFFIC RANK - AVERAGE PER MONTH

BEST MONTH

September

AVERAGE PER DAY Of THE WEEK

HIGHEST TRAFFIC ON

Monday

TRAFFIC BY CITY

Sign up

CUSTOMER REVIEWS

Average Rating: 3.9 out of 5 with 10 reviews

5 star

4

4 star

3

3 star

2

2 star

0

1 star

1

Hey there! Start your review of armoredsoftware.github.io

AVERAGE USER RATING

Write a Review

WEBSITE PREVIEW

LOAD TIME

1.5 seconds

CONTACTS AT ARMOREDSOFTWARE.GITHUB.IO

ADD CONTACT

Login

TO VIEW CONTACTS

Remove Contacts

FOR PRIVACY ISSUES

CONTENT

PAGES IN
THIS WEBSITE

12

SSL

EXTERNAL LINKS

21

SITE IP

199.27.76.133

LOAD TIME

1.549 sec

SCORE

6.2

PAGE TITLE

ArmoredSoftware | armoredsoftware.github.io Reviews

<META> DESCRIPTION

Trusted execution in the cloud. January New Project Members. ArmoredSoftware is an effort to build a cloud infrastructure where software can protect itself rather than relying exclusively on its environment. The armor associated with a process provides remote attestation and appraisal techniques that support assessing the trustworthiness of its operational environment. Using that information, the armor decides what steps should be taken to protect its associated process. January New Project Members.

<META> KEYWORDS

1 armoredsoftware

2 demo 4 complete

3 tpm uptake

4 demo 2 complete

5 demo 1 complete

6 hcss and armoredsoftware

7 ku and tcg

8 up and going

9 publications

10 documentation

CONTENT

Page content here

KEYWORDS ON PAGE

armoredsoftware,demo 4 complete,tpm uptake,demo 2 complete,demo 1 complete,hcss and armoredsoftware,ku and tcg,up and going,publications,documentation,software,blog,recent activities,team,faculty,perry alexander,andy gill,prasad kulkarni,students

SERVER

GitHub.com

CONTENT-TYPE

utf-8

GOOGLE PREVIEW

ArmoredSoftware | armoredsoftware.github.io Reviews

https://armoredsoftware.github.io

Trusted execution in the cloud. January New Project Members. ArmoredSoftware is an effort to build a cloud infrastructure where software can protect itself rather than relying exclusively on its environment. The armor associated with a process provides remote attestation and appraisal techniques that support assessing the trustworthiness of its operational environment. Using that information, the armor decides what steps should be taken to protect its associated process. January New Project Members.

INTERNAL PAGES

armoredsoftware.github.io

1

KU and TCG - Trusted execution in the cloud

http://armoredsoftware.github.io//blog/2014/04/10/KU-and-TCG.html

Trusted execution in the cloud. January New Project Members. KU and ITTC are now formally participants in the Trusted Computing Group Liaison Program. We will actively be contributing to TCG standards for systems such as the TPM, Virtualized TPM and Mobile platforms. Visit ArmoredSoftware on GitHub. Maintained by Perry Alexander. Hosted on GitHub Pages.

2

Demo 1 Complete - Trusted execution in the cloud

http://armoredsoftware.github.io//blog/2014/07/01/Demo-1-Complete.html

Trusted execution in the cloud. January New Project Members. Today we did our first internal demonstration of an ArmoredSoftware attestation among two virtual machines. Demo 1 implemented an exceptionally naive appraisal whose intent was shaking out infrastructure issues including cryptography functions and communication. The demo uses a traditional asymmetric key,. Rather than an AIK or EK for signing and assumes the appraiser has a public key for the target’s TPM. Appraiser sends a request.

3

ArmoredSoftware

http://armoredsoftware.github.io/publications.html

Trusted execution in the cloud. January New Project Members. Visit ArmoredSoftware on GitHub. Maintained by Perry Alexander. Hosted on GitHub Pages.

4

ArmoredSoftware

http://armoredsoftware.github.io/documentation.html

Trusted execution in the cloud. January New Project Members. 10 Page Introduction to Trusted Computing. Is a nice, brief paper that overviews the basics of trusted computing. Principles of Remote Attestation. Is an overview paper discussing philosophy and implementation directions for remote attestation. Is the seminal initial work on remote attestation. Description of repositories and wikis used for the project. Website repo that contains the project website. Remember that only the. Public ArmoredSoftwa...

5

January New Project Members - Trusted execution in the cloud

http://armoredsoftware.github.io//blog/2014/01/19/January-New-Project-Members.html

Trusted execution in the cloud. January New Project Members. January New Project Members. Welcome to Justin Dawson and Jason Gevargizian. Justin will be working with Andy Gill on the system architecture and Jason will be working with Prasad on measurement. Visit ArmoredSoftware on GitHub. Maintained by Perry Alexander. Hosted on GitHub Pages.

UPGRADE TO PREMIUM TO VIEW 7 MORE

TOTAL PAGES IN THIS WEBSITE

12

LINKS TO THIS WEBSITE

ku-fpg.github.io

Andrew Farmer

http://ku-fpg.github.io/people/andrewfarmer

Functional Programming Group @ KU. My interests include programming language design in general and specifically the compilation and optimization of functional languages. I am currently working on HERMIT. A GHC plugin for transforming Core Language programs. I am interested in making HERMIT useful for prototyping and debugging GHC optimizations. In the past I worked on testing and debugging tools for the Kansas Lava. I also created Scotty. A small framework for specifying RESTful web services. Ser PEPM ’1...

ku-fpg.github.io

The Functional Programming Group

http://ku-fpg.github.io/blog

Functional Programming Group @ KU. The Remote JSON library. Is a simple and well supported protocol for remote procedure calls over HTTP, supporting both synchronous remote methods calls and asynchronous notifications. We want to access JSON-RPC from Haskell, but in a principled way. This blog post discusses the design and user-facing interface of. A new library for JSON-RPC that makes use of the remote monad design pattern. Shells and the Remote Monad Design Pattern. The remote monad design pattern.

ku-fpg.github.io

Haskell Object Observation Debugger

http://ku-fpg.github.io/software/hood

Functional Programming Group @ KU. Haskell Object Observation Debugger. Haskell Object Observation Debugger (HOOD) is a small post-mortem debugger for the lazy functional language Haskell. It is based on the concept of observation of intermediate data structures, rather than the more traditional stepping and variable examination paradigm used by imperative language debuggers. Observation of base types (Int, Bool, Float, etc). Observation of both finite and infinite structures (Lists, trees, arrays, etc).

ku-fpg.github.io

Functional Programming at the University of Kansas

http://ku-fpg.github.io/publications

Functional Programming Group @ KU. Publications and Recent Submissions. M Grebe and A. Gill, H. Askino: A remote monad for programming the A. Practical Aspects of Declarative Languages. Ser Lecture Notes in Computer Science, 2016. B Torrence, The Life Changing HERMIT. A Case Study of the Worker/Wrapper Transformation. Master’s thesis, The University of Kansas, January 2015. A Farmer, HERMIT. Ompilation in the G. PhD dissertation, The University of Kansas, April 2015. Science of Computer Programming.

ku-fpg.github.io

Functional Programming at the University of Kansas

http://ku-fpg.github.io/papers/Gill-15-RemoteMonad

Functional Programming Group @ KU. A Gill, N. Sculthorpe, J. Dawson, A. Eskilson, A. Farmer, M. Grebe, J. Rosenbluth, R. Scott, and J. Stanton, The remote monad design pattern, in. Proceedings of the 8th ACM SIGPLAN Symposium on Haskell. New York, NY, USA: ACM, 2015, pp. 59 70. Http:/ doi.acm.org/10.1145/2804302.2804311. Http:/ www.ittc.ku.edu/csdl/fpg/files/Gill-15-RemoteMonad.pdf. Https:/ www.youtube.com/watch? EECS 368 (Fall 2016). EECS 368 QR Cover Sheet. EECS 776 (Fall 2016). EECS 776 QR Cover Sheet.

ku-fpg.github.io

Andrew Gill

http://ku-fpg.github.io/people/andygill

Functional Programming Group @ KU. Electrical Engineering and Computer Science. The University of Kansas. 1 785-864-8817 (Eaton) /. The University of Kansas,. 2001 Eaton Hall,. 1520 West 15th Street,. Lawrence, KS 66045-7621. Room 2024 (Eaton) /. Room 252 (Nichols Hall). Monday and Friday 01:30-02:30. I lead the Functional Programming Group. Introduction to Engineering (CS component). F08 F09 F10 F11 F12 S14 F15 F16. CS Senior Design I and II. F14 S15 F15 S16. S09 S10 S11 S12 F12 F13 F14 F15 F16. Ser PEP...

ku-fpg.github.io

Ryan Scott

http://ku-fpg.github.io/people/ryanscott

Functional Programming Group @ KU. I graduated from the University of Kansas in May 2015 with a BS in Computer Science under the supervision of Dr. Gill. I am currently a PhD student at Indiana University. Under the supervision of Dr. Ryan Newton. A Gill, N. Sculthorpe, J. Dawson, A. Eskilson, A. Farmer, M. Grebe, J. Rosenbluth, R. Scott, and J. Stanton, The remote monad design pattern. Proceedings of the 8th ACM SIGPLAN Symposium on Haskell. New York, NY, USA: ACM, 2015, pp. 59 70. EECS 368 (Fall 2016).

ku-fpg.github.io

2 New KU FPG Papers

http://ku-fpg.github.io/2015/07/19/new-papers

Functional Programming Group @ KU. 2 New KU FPG Papers. Jul 19, 2015. Two papers from the University of Kansas Functional Programming Group have been accepted for publication at Haskell’15! One about using HERMIT for equational reasoning, and the other about a monad-based design pattern for remote control that externalizes monadic execution. We’ve put the preprints on our webpage. Reasoning with the HERMIT: Tool support for equational reasoning on GHC core programs. The remote monad design pattern. The R...

ku-fpg.github.io

Mark Grebe

http://ku-fpg.github.io/people/markgrebe

Functional Programming Group @ KU. I am a first year, part time, PhD student with Dr. Gill. My research interests include applying functional languages to solve problems in the Embedded Systems space, programming language design, and Computer Science education at all levels. My industry experience has been centered around embedded software design and development in the OS and middleware layers. MarkGrebe at ku dot edu. EECS 368 (Fall 2016). EECS 368 QR Cover Sheet. EECS 776 (Fall 2016).

ku-fpg.github.io

Kansas University Rewrite Engine

http://ku-fpg.github.io/software/kure

Functional Programming Group @ KU. Kansas University Rewrite Engine. The Kansas University Rewrite Engine. An earlier version of KURE was used (along with Template Haskell) to provide the basic rewrite abilities inside HERA (the precursor to HERMIT. It was rewritten once in late 2008, again in 2012, and the interface was revised in 2013. The 2013 version is being used as the underlying rewrite engine by HERMIT. The latest versions are all available on Hackage. Journal of Functional Programming. Shells an...

UPGRADE TO PREMIUM TO VIEW 11 MORE

TOTAL LINKS TO THIS WEBSITE

21

OTHER SITES

armoredshop.com

i2 Internet - Your Internet. Simplified.

Managed by i2 Internet. Mdash; Inquiries: see contact info below. See Great Big Directory.

armoredsite.com

i2 Internet - Your Internet. Simplified.

Managed by i2 Internet. Mdash; Inquiries: see contact info below. See Great Big Directory.

armoredsky.deviantart.com

armoredsky (Michael Streeter) - DeviantArt

Window.devicePixelRatio*screen.width 'x' window.devicePixelRatio*screen.height) :(screen.width 'x' screen.height) ; this.removeAttribute('onclick')" class="mi". Window.devicePixelRatio*screen.width 'x' window.devicePixelRatio*screen.height) :(screen.width 'x' screen.height) ; this.removeAttribute('onclick')". Join DeviantArt for FREE. Forgot Password or Username? Deviant for 5 Years. This deviant's full pageview. Last Visit: 31 weeks ago. This is the place where you can personalize your profile!

armoredslayer.deviantart.com

ArmoredSlayer (Roman) - DeviantArt

Window.devicePixelRatio*screen.width 'x' window.devicePixelRatio*screen.height) :(screen.width 'x' screen.height) ; this.removeAttribute('onclick')" class="mi". Window.devicePixelRatio*screen.width 'x' window.devicePixelRatio*screen.height) :(screen.width 'x' screen.height) ; this.removeAttribute('onclick')". Join DeviantArt for FREE. Forgot Password or Username? Deviant for 2 Years. This deviant's full pageview. Last Visit: 6 days ago. This is the place where you can personalize your profile! 1052;&#107...

armoredsoft.com

:: ARMORED DEFENSE ::

Http:/ armoreddefense.blogspot.com. 24590;么玩. 44172;임하는 방법. Welcome to web site of the best Tower Defense game for phones and tablets. Do you like strategy games? Looking for something to restore you faith in mobile games? Something that you hook from start to finish? Unique Features of Armored Defense:. The features, design and animation of towers and invaders vehicles has been designed with actual patterns. Towers are not infallible! Where you can live authentic battles, and carefully designed. Ldquo;T...

armoredsoftware.github.io

ArmoredSoftware

Trusted execution in the cloud. January New Project Members. ArmoredSoftware is an effort to build a cloud infrastructure where software can protect itself rather than relying exclusively on its environment. The armor associated with a process provides remote attestation and appraisal techniques that support assessing the trustworthiness of its operational environment. Using that information, the armor decides what steps should be taken to protect its associated process. January New Project Members.

armoredsoul0.deviantart.com

ArmoredSoul0 (Alex) - DeviantArt

Window.devicePixelRatio*screen.width 'x' window.devicePixelRatio*screen.height) :(screen.width 'x' screen.height) ; this.removeAttribute('onclick')" class="mi". Window.devicePixelRatio*screen.width 'x' window.devicePixelRatio*screen.height) :(screen.width 'x' screen.height) ; this.removeAttribute('onclick')". Join DeviantArt for FREE. Forgot Password or Username? Traditional Art / Artist. Deviant for 8 Years. This deviant's full pageview. Last Visit: 192 weeks ago. You can drag and drop to rearrange.

armoredspecialtyproducts.com

www.armoredspecialtyproducts.com

armoredsquirrel.com

Armored Squirrel

Every few years I muster up a new reel. Here it is:. Byron Nash – VFX Artist – Demo 2013. These are our costumes for a party on New Year’s Eve. In case you haven’t seen our 2011 Christmas Card, here it is. We have a good time making these every year. 5 Reasons You Should Join a User Group (Or Start One). Here is a blog post that I wrote for Masteringfilm.com. 2011 Powered by WordPress. And Mystique theme by digitalnature. 17 queries in 0.67 seconds (14.45M).

armoredssl.com

i2 Internet - Your Internet. Simplified.

Managed by i2 Internet. Mdash; Inquiries: see contact info below. See Great Big Directory.

armoredstarinc.com

Waterproofing in Austin, TX

Armored Star, Inc. specializes in seamless spray-on waterproofing systems. Polyurea is a state of the art waterproofing membrane that outperforms all other traditional methods. We have been committed to. Providing our customers with this unsurpassed system since 2007.