Apparently the application code for the IOS app is open source and is located here. It seems they use the appropriately named Signal Protocol. According to wikipedia, The protocol combines the Double Ratchet