public static bool sendTufRequest(UDPServer server)
{
byte[] tmp = new byte[4];
server.LocalSend(tmp, 0); // send TimestampRequest_t
byte[] timestampRequest = server.LocalReceive();
Console.WriteLine("tsReq: " + BitConverter.ToString(timestampRequest));
server.Send(timestampRequest, timestampRequest.Length, UDPServer.SERVER_UPDATE_PORT, UDPServer.CLIENT_UPDATE_PORT);
server.Receive(UDPServer.SERVER_UPDATE_PORT);
Console.ReadLine();
server.LocalSend(tmp, 1); // send Snapshot request
byte[] snapshotRequest = server.LocalReceive();
Console.WriteLine("shReq: " + BitConverter.ToString(snapshotRequest));
server.Send(snapshotRequest, snapshotRequest.Length, UDPServer.SERVER_UPDATE_PORT, UDPServer.CLIENT_UPDATE_PORT);
server.Receive(UDPServer.SERVER_UPDATE_PORT);
Console.ReadLine();
server.LocalSend(tmp, 2); // send Target Request
byte[] targetRequest = server.LocalReceive();
Console.WriteLine("tgReq: " + BitConverter.ToString(targetRequest));
server.Send(targetRequest, targetRequest.Length, UDPServer.SERVER_UPDATE_PORT, UDPServer.CLIENT_UPDATE_PORT);
Console.WriteLine("Done");
Console.ReadLine();
byte[] img = System.IO.File.ReadAllBytes("../../../images/fuel-level-app-v0");
int imgSize = img.Length;
Console.WriteLine("Sending first img");
sendImage(img, imgSize, server);
Console.ReadLine();
byte[] img2 = System.IO.File.ReadAllBytes("../../../images/speedometer-app-v0");
int img2Size = img2.Length;
Console.WriteLine("Sending second img");
sendImage(img2, img2Size, server);
server.LocalSend(tmp, 3); // send Root Request
byte[] rootRequest = server.LocalReceive();
return(true);
}
public static bool sendUpdateRequest(Image_t image, UDPServer server)
{
byte[] buffer = new byte[image.imgSize + 1000];
// hash the image
byte[] hash = Sha512.Hash(image.img, 0, image.imgSize);
var seed = new byte[32]; // empty seed
byte[] pk, sk;
Ed25519.KeyPairFromSeed(out pk, out sk, seed);
int offset = 0;
UInt32 processId = image.processId;
UInt32 version = image.version;
UInt32 start_disk_addr = image.start_disk_addr, start_cpio_addr = image.start_cpio_addr;
// Data that should be signed.... : For now - Start-Disk-Addr || Start-Cpio-Addr || Version || Img Size || Process ID || hash
int metadataLen = sizeof(int) * 5;
int sigDataLen = hash.Length + metadataLen;
byte[] sigData = new byte[sigDataLen];
Buffer.BlockCopy(BitConverter.GetBytes(start_disk_addr), 0, sigData, offset, 4);
offset += 4;
Buffer.BlockCopy(BitConverter.GetBytes(start_cpio_addr), 0, sigData, offset, 4);
offset += 4;
Buffer.BlockCopy(BitConverter.GetBytes(version), 0, sigData, offset, 4);
offset += 4;
Buffer.BlockCopy(BitConverter.GetBytes(image.imgSize), 0, sigData, offset, 4);
offset += 4;
Buffer.BlockCopy(BitConverter.GetBytes(processId), 0, sigData, offset, 4);
offset += 4;
Buffer.BlockCopy(hash, 0, sigData, offset, hash.Length);
offset += hash.Length;
byte[] sig = Ed25519.Sign(sigData, sk);
// Update Request : MAC(32) || (Timestamp ||) SigData(84)
// (|| PK Cert || Expire || Hash/SigAlg) || Hash(Img)(64) || Signature(64) || Public Key(32)
offset = 0;
Buffer.BlockCopy(sigData, 0, buffer, offset, sigDataLen);
offset += sigDataLen;
Buffer.BlockCopy(sig, 0, buffer, offset, sig.Length);
//Console.WriteLine("Sig: " + BitConverter.ToString(sig));
offset += sig.Length;
Buffer.BlockCopy(pk, 0, buffer, offset, pk.Length);
//Console.WriteLine("PK: " + BitConverter.ToString(pk));
offset += pk.Length;
int bufferSize = offset;
//Console.WriteLine("Mac Data: " + BitConverter.ToString(buffer, 0, bufferSize) + " Len: "+bufferSize);
// get MAC from LocalIPC
server.LocalSend(buffer, bufferSize);
byte[] mac = server.LocalReceive();
if (mac.Length != 32)
{
Console.WriteLine("sth is wrong");
}
byte[] updateRequest = new byte[mac.Length + bufferSize];
offset = 0;
Buffer.BlockCopy(mac, 0, updateRequest, 0, mac.Length);
offset += mac.Length;
Buffer.BlockCopy(buffer, 0, updateRequest, offset, bufferSize);
offset += bufferSize;
int requestSize = offset;
server.Send(updateRequest, requestSize, UDPServer.SERVER_UPDATE_PORT, UDPServer.CLIENT_UPDATE_PORT);
return(true);
/*byte[] recv = server.Receive(UDPServer.SERVER_UPDATE_PORT);
* // TODO: what is the best way to handle packet drops/losses?
* if (recv == null)
* {
* return false;
* }
* return true;*/
}
public static bool performRemoteAttestation(Image_t image, UDPServer server)
{
RandomBufferGenerator rbg = new RandomBufferGenerator(UDPServer.REQUEST_LENGTH * 2);
byte[] request = new byte[UDPServer.REQUEST_LENGTH];
//byte[] nonce = rbg.GenerateBufferFromSeed(UDPServer.NONCE_LENGTH);
byte[] buffer = new byte[1000];
int offset = 0;
// Plaintext: timestamp(8) (|| nonce) || processId(4)
offset = 0;
long timestamp = DateTime.Now.Ticks;
Buffer.BlockCopy(BitConverter.GetBytes(timestamp), 0, buffer, offset, 8);
offset += 8;
//Buffer.BlockCopy(nonce, 0, nonce, offset, nonce.Length);
//offset += nonce.Length;
//Buffer.BlockCopy(BitConverter.GetBytes(start_loc), 0, buffer, offset, 8);
//offset += 8;
Buffer.BlockCopy(BitConverter.GetBytes(image.processId), 0, buffer, offset, 4);
offset += 4;
int bufferSize = offset;
//Console.WriteLine("Mac Data: " + BitConverter.ToString(buffer, 0, bufferSize));
// get MAC from LocalIPC
server.LocalSend(buffer, bufferSize);
byte[] mac = server.LocalReceive();
if (mac.Length != 32)
{
Console.WriteLine("sth is wrong");
}
// Attest Request: MAC || Plaintext
byte[] attestRequest = new byte[mac.Length + bufferSize];
offset = 0;
Buffer.BlockCopy(mac, 0, attestRequest, 0, mac.Length);
offset += mac.Length;
Buffer.BlockCopy(buffer, 0, attestRequest, offset, bufferSize);
offset += bufferSize;
int requestSize = offset;
server.Send(attestRequest, requestSize, UDPServer.SERVER_ATTESTATION_PORT, UDPServer.CLIENT_ATTESTATION_PORT);
Console.WriteLine(BitConverter.ToString(attestRequest, 0, requestSize));
Console.WriteLine("\n\nWaiting for Attestation Report");
byte[] data = server.Receive(UDPServer.SERVER_ATTESTATION_PORT);
//Console.WriteLine("Receive " + BitConverter.ToString(data));
int attestSize = 8 * 4096; // Assume fixed size of attested memory TODO: be more flexible
byte[] deviceMem = new byte[bufferSize + attestSize];
int entryPoint = getEntryPoint(image);
//Console.WriteLine("entry point of img: " + getEntryPoint(image));
offset = 0;
Buffer.BlockCopy(buffer, 0, deviceMem, offset, bufferSize);
offset += bufferSize;
Buffer.BlockCopy(image.img, entryPoint, deviceMem, offset, attestSize);
offset += attestSize;
server.LocalSend(deviceMem, deviceMem.Length);
byte[] gt = server.LocalReceive();
//Console.WriteLine("GT " + BitConverter.ToString(gt));
//Console.ReadLine();
return(data.Length == gt.Length && (memcmp(gt, data, gt.Length) == 0));
}